efi64_thunk       636 arch/x86/platform/efi/efi_64.c extern efi_status_t efi64_thunk(u32, ...);
efi64_thunk       666 arch/x86/platform/efi/efi_64.c 	__s = efi64_thunk(__func, __VA_ARGS__);				\
efi64_thunk       690 arch/x86/platform/efi/efi_64.c 	status = efi64_thunk(func, memory_map_size, descriptor_size,