Searched refs:efi_free_boot_services (Results 1 – 1 of 1) sorted by relevance
539 static int __init efi_free_boot_services(void) in efi_free_boot_services() function562 arch_initcall(efi_free_boot_services);