Lines Matching defs:p4d
74 DEFINE_POPULATE(p4d_populate, p4d, pud, init) in DEFINE_POPULATE() argument
193 p4d_t *p4d; in sync_global_pgds_l4() local
253 p4d_t *p4d = (p4d_t *)spp_getpage(); in fill_p4d() local
262 static pud_t *fill_pud(p4d_t *p4d, unsigned long vaddr) in fill_pud()
313 p4d_t *p4d = p4d_page + p4d_index(vaddr); in set_pte_vaddr_p4d() local
347 p4d_t *p4d; in populate_extra_pmd() local
371 p4d_t *p4d; in __init_extra_mapping() local
690 p4d_t *p4d = p4d_page + p4d_index(vaddr); in phys_p4d_init() local
742 p4d_t *p4d; in __kernel_physical_mapping_init() local
1063 static void __meminit free_pud_table(pud_t *pud_start, p4d_t *p4d) in free_pud_table()
1213 p4d_t *p4d; in remove_p4d_table() local
1247 p4d_t *p4d; in remove_pagetable() local
1315 p4d_t *p4d; in preallocate_vmalloc_pages() local
1577 p4d_t *p4d; in register_page_bootmem_memmap() local