Searched refs:efi_init (Results 1 – 5 of 5) sorted by relevance
287 extern void efi_init (void);
318 void __init efi_init(void) in efi_init() function
837 efi_init(); in setup_arch()
521 efi_init(); in setup_arch()
466 efi_init (void) in efi_init() function