Home
last modified time | relevance | path

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

/freebsd/sys/amd64/amd64/
H A Dpmap.c1686 int kasankpdpi, kasankpdi, nkasanpte; in create_pagetables() local
1804 kasankpdpi = pmap_pdpe_index(kasankernbase); in create_pagetables()
1808 pdp_p[kasankpdpi] = (KASANPDphys | X86_PG_RW | X86_PG_V | pg_nx); in create_pagetables()