Searched refs:xen_efi_init (Results 1 – 3 of 3) sorted by relevance
121 extern void xen_efi_init(void);123 static inline void __init xen_efi_init(void) in xen_efi_init() function
28 void __init xen_efi_init(void) in xen_efi_init() function
1725 xen_efi_init(); in xen_start_kernel()