Searched refs:pgdval (Results 1 – 2 of 2) sorted by relevance
33 #define set_pgd(pgdptr, pgdval) set_p4d((p4d_t *)(pgdptr), (p4d_t) { pgdval }) argument
427 pgdval_t pgdval = PGD_TYPE_TABLE | PGD_TABLE_UXN | PGD_TABLE_AF; in alloc_init_p4d() local431 pgdval |= PGD_TABLE_PXN; in alloc_init_p4d()439 __pgd_populate(pgdp, p4d_phys, pgdval); in alloc_init_p4d()