Searched refs:efi_system_table_64_t (Results 1 – 2 of 2) sorted by relevance
| /linux-4.1.27/arch/x86/platform/efi/ | ||
| D | efi.c | 235 efi_system_table_64_t *systab64; in efi_systab_init() |
| /linux-4.1.27/include/linux/ | ||
| D | efi.h | 638 } efi_system_table_64_t; typedef |