Searched defs:guest_boot_info_addr (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
| H A D | guest_boot_init.c | 183 make_guest_boot_info(vm_t *vm, uintptr_t guest_cmd_addr, size_t guest_cmd_len, guest_kernel_image_t guest_kernel_image, guest_image_t guest_ramdisk_image, uintptr_t *guest_boot_info_addr) argument
241 vmm_plat_init_guest_boot_structure(vm_t *vm, const char *cmdline, guest_kernel_image_t guest_kernel_image, guest_image_t guest_ramdisk_image, uintptr_t *guest_boot_info_addr) argument
264 vmm_plat_init_guest_thread_state(vm_vcpu_t *vcpu, uintptr_t guest_entry_addr, uintptr_t guest_boot_info_addr) argument
|
Completed in 73 milliseconds