Searched refs:vmm_plat_init_guest_boot_structure (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/
H A Dguest_boot_init.h20 * @function vmm_plat_init_guest_boot_structure(vm, cmdline, guest_kernel_image, guest_ramdisk_image, guest_boot_info_addr)
31 int vmm_plat_init_guest_boot_structure(vm_t *vm, const char *cmdline,
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_boot_init.c241 int vmm_plat_init_guest_boot_structure(vm_t *vm, const char *cmdline, function

Completed in 95 milliseconds