Home
last modified time | relevance | path

Searched refs:p4dval_t (Results 1 – 6 of 6) sorted by relevance

/linux/arch/x86/kernel/
H A Dhead64.c83 p4dval_t p4d, *p4d_p; in __early_make_pgtable()
103 p4d_p = (p4dval_t *)((pgd & PTE_PFN_MASK) + __START_KERNEL_map - phys_base); in __early_make_pgtable()
110 p4d_p = (p4dval_t *)early_dynamic_pgts[next_early_pgt++]; in __early_make_pgtable()
127 *p4d_p = (p4dval_t)pud_p - __START_KERNEL_map + phys_base + _KERNPG_TABLE; in __early_make_pgtable()
/linux/arch/x86/boot/startup/
H A Dmap_kernel.c96 p4dval_t *p4d; in __startup_64()
130 p4d = (p4dval_t *)rip_rel_ptr(level4_kernel_pgt); in __startup_64()
/linux/arch/x86/include/asm/
H A Dpgtable_64_types.h17 typedef unsigned long p4dval_t; typedef
/linux/arch/x86/xen/
H A Dmmu_pv.c103 p4dval_t xen_p4d_val(p4d_t p4d);
108 p4d_t xen_make_p4d(p4dval_t p4d);
595 __visible p4dval_t xen_p4d_val(p4d_t p4d) in xen_p4d_val()
601 __visible p4d_t xen_make_p4d(p4dval_t p4d) in xen_make_p4d()
/linux/arch/x86/mm/
H A Dkasan_init_64.c294 p4dval_t p4d_val = __pa_nodebug(kasan_early_shadow_pud) | _KERNPG_TABLE; in kasan_early_init()
/linux/arch/arm64/mm/
H A Dmmu.c374 p4dval_t p4dval = P4D_TYPE_TABLE | P4D_TABLE_UXN | P4D_TABLE_AF; in alloc_init_pud()