Searched refs:xen_efi_init (Results 1 – 4 of 4) sorted by relevance
128 extern void xen_efi_init(struct boot_params *boot_params);130 static inline void __init xen_efi_init(struct boot_params *boot_params) in xen_efi_init() function
45 xen_efi_init(boot_params); in xen_pvh_init()
130 void __init xen_efi_init(struct boot_params *boot_params) in xen_efi_init() function
1392 xen_efi_init(&boot_params); in xen_start_kernel()