Home
last modified time | relevance | path

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

/freebsd-12-stable/sys/amd64/amd64/
Dpmap.c8040 pdp_entry_t newpdpe, oldpdpe; in pmap_demote_pdpe() local
8052 oldpdpe = *pdpe; in pmap_demote_pdpe()
8053 KASSERT((oldpdpe & (PG_PS | PG_V)) == (PG_PS | PG_V), in pmap_demote_pdpe()
8063 newpdpe = pdpgpa | PG_M | PG_A | (oldpdpe & PG_U) | PG_RW | PG_V; in pmap_demote_pdpe()
8064 KASSERT((oldpdpe & PG_A) != 0, in pmap_demote_pdpe()
8066 KASSERT((oldpdpe & (PG_M | PG_RW)) != PG_RW, in pmap_demote_pdpe()
8068 newpde = oldpdpe; in pmap_demote_pdpe()