Searched refs:xen_efi_init (Results 1 – 3 of 3) sorted by relevance
125 extern void xen_efi_init(void);127 static inline void __init xen_efi_init(void) in xen_efi_init() function
173 void __init xen_efi_init(void) in xen_efi_init() function
1405 xen_efi_init(); in xen_start_kernel()
