Home
last modified time | relevance | path

Searched defs:p4dval (Results 1 – 3 of 3) sorted by relevance

/arch/arm64/include/asm/
Dpgalloc.h51 p4dval_t p4dval = P4D_TYPE_TABLE; in p4d_populate() local
/arch/mips/include/asm/
Dpgtable-64.h222 static inline void set_p4d(p4d_t *p4d, p4d_t p4dval) in set_p4d()
/arch/arm64/mm/
Dmmu.c321 p4dval_t p4dval = P4D_TYPE_TABLE | P4D_TABLE_UXN; in alloc_init_pud() local