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_pgt_ptr)++], in __startup_64()
191 pgd[i + 0] = (pgdval_t)p4d + pgtable_flags; in __startup_64()
192 pgd[i + 1] = (pgdval_t)p4d + pgtable_flags; in __startup_64()
195 p4d[(i + 0) % PTRS_PER_P4D] = (pgdval_t)pud + pgtable_flags; in __startup_64()
196 p4d[(i + 1) % PTRS_PER_P4D] = (pgdval_t)pud + pgtable_flags; in __startup_64()
304 p4dval_t p4d, *p4d_p; in __early_make_pgtable() local
336 p4d = *p4d_p; in __early_make_pgtable()
338 if (p4d) in __early_make_pgtable()
339 pud_p = (pudval_t *)((p4d & PTE_PFN_MASK) + __START_KERNEL_map - phys_base); in __early_make_pgtable()