Searched defs:p4d_k (Results 1 – 3 of 3) sorted by relevance
217 p4d_t *p4d, *p4d_k; in do_page_fault() local
153 p4d_t *p4d, *p4d_k; in vmalloc_sync_one() local334 p4d_t *p4d, *p4d_k; in vmalloc_fault() local
79 p4d_t *p4d, *p4d_k, *p4d_efi; in efi_call_phys_prolog() local251 p4d_t *p4d_k, *p4d_efi; in efi_sync_low_kernel_mappings() local
