Searched refs:efi_memory_init (Results 1 – 3 of 3) sorted by relevance
191 int efi_memory_init(void);
455 int efi_memory_init(void) in efi_memory_init() function
910 efi_memory_init,