efi_runtime_services_t   60 arch/ia64/kernel/efi.c static efi_runtime_services_t *runtime;
efi_runtime_services_t   37 arch/x86/xen/efi.c 	.runtime	= (efi_runtime_services_t *)EFI_INVALID_TABLE_ADDR,
efi_runtime_services_t  772 include/linux/efi.h 	efi_runtime_services_t *runtime;