Searched defs:p4d_k (Results 1 – 3 of 3) sorted by relevance
227 p4d_t *p4d, *p4d_k; in do_page_fault() local
237 p4d_t *p4d, *p4d_k; in vmalloc_sync_one() local421 p4d_t *p4d, *p4d_k; in vmalloc_fault() local
79 p4d_t *p4d, *p4d_k, *p4d_efi; in efi_call_phys_prolog() local248 p4d_t *p4d_k, *p4d_efi; in efi_sync_low_kernel_mappings() local
