Searched defs:p4d_efi (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.4/arch/x86/platform/efi/ | ||
| D | efi_64.c | 79 p4d_t *p4d, *p4d_k, *p4d_efi; in efi_call_phys_prolog() local |
Searched defs:p4d_efi (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.4/arch/x86/platform/efi/ | ||
| D | efi_64.c | 79 p4d_t *p4d, *p4d_k, *p4d_efi; in efi_call_phys_prolog() local |