Searched refs:xen_efi_init (Results 1 – 4 of 4) sorted by relevance
124 extern void xen_efi_init(struct boot_params *boot_params);126 static inline void __init xen_efi_init(struct boot_params *boot_params) in xen_efi_init() function
46 xen_efi_init(boot_params); in xen_pvh_init()
132 void __init xen_efi_init(struct boot_params *boot_params) in xen_efi_init() function
1507 xen_efi_init(&boot_params); in xen_start_kernel()