Home
last modified time | relevance | path

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

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