Searched refs:efi_boot_services_t (Results 1 – 2 of 2) sorted by relevance
| /Linux-v4.19/arch/x86/xen/ | ||
| D | efi.c | 51 .boottime = (efi_boot_services_t *)EFI_INVALID_TABLE_ADDR, |
| /Linux-v4.19/include/linux/ | ||
| D | efi.h | 340 } efi_boot_services_t; typedef |
Searched refs:efi_boot_services_t (Results 1 – 2 of 2) sorted by relevance
| /Linux-v4.19/arch/x86/xen/ | ||
| D | efi.c | 51 .boottime = (efi_boot_services_t *)EFI_INVALID_TABLE_ADDR, |
| /Linux-v4.19/include/linux/ | ||
| D | efi.h | 340 } efi_boot_services_t; typedef |