efi_thunk_runtime_setup  178 arch/x86/include/asm/efi.h extern void efi_thunk_runtime_setup(void);
efi_thunk_runtime_setup 1030 arch/x86/platform/efi/efi.c 		efi_thunk_runtime_setup();