setup_boot_services64  405 arch/x86/boot/compressed/eboot.c 		setup_boot_services64(efi_early);
setup_boot_services64  763 arch/x86/boot/compressed/eboot.c 		setup_boot_services64(efi_early);