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