Lines Matching refs:p4d
142 p4dval_t *p4d; in __startup_64() local
183 p4d = fixup_pointer(&level4_kernel_pgt, physaddr); in __startup_64()
184 p4d[511] += load_delta; in __startup_64()
209 p4d = fixup_pointer(early_dynamic_pgts[(*next_pgt_ptr)++], in __startup_64()
213 pgd[i + 0] = (pgdval_t)p4d + pgtable_flags; in __startup_64()
214 pgd[i + 1] = (pgdval_t)p4d + pgtable_flags; in __startup_64()
217 p4d[(i + 0) % PTRS_PER_P4D] = (pgdval_t)pud + pgtable_flags; in __startup_64()
218 p4d[(i + 1) % PTRS_PER_P4D] = (pgdval_t)pud + pgtable_flags; in __startup_64()
326 p4dval_t p4d, *p4d_p; in __early_make_pgtable() local
358 p4d = *p4d_p; in __early_make_pgtable()
360 if (p4d) in __early_make_pgtable()
361 pud_p = (pudval_t *)((p4d & PTE_PFN_MASK) + __START_KERNEL_map - phys_base); in __early_make_pgtable()