Lines Matching refs:p4d
120 p4dval_t *p4d; in __startup_64() local
161 p4d = fixup_pointer(&level4_kernel_pgt, physaddr); in __startup_64()
162 p4d[511] += load_delta; in __startup_64()
187 p4d = fixup_pointer(early_dynamic_pgts[next_early_pgt++], physaddr); in __startup_64()
190 pgd[i + 0] = (pgdval_t)p4d + pgtable_flags; in __startup_64()
191 pgd[i + 1] = (pgdval_t)p4d + pgtable_flags; in __startup_64()
194 p4d[i + 0] = (pgdval_t)pud + pgtable_flags; in __startup_64()
195 p4d[i + 1] = (pgdval_t)pud + pgtable_flags; in __startup_64()
284 p4dval_t p4d, *p4d_p; in __early_make_pgtable() local
316 p4d = *p4d_p; in __early_make_pgtable()
318 if (p4d) in __early_make_pgtable()
319 pud_p = (pudval_t *)((p4d & PTE_PFN_MASK) + __START_KERNEL_map - phys_base); in __early_make_pgtable()