PG_MANAGED
(pte & (PG_MANAGED | PG_V)) == (PG_MANAGED | PG_V)) {
KASSERT((oldpde & PG_MANAGED) == 0 || lockp != NULL,
if ((oldpde & PG_MANAGED) != 0)
if ((oldpde & PG_MANAGED) != 0)
if (oldpde & PG_MANAGED) {
if (oldpte & PG_MANAGED) {
MPASS((*pdpe & (PG_MANAGED | PG_G)) == 0);
if ((oldpde & (PG_MANAGED | PG_M | PG_RW)) ==
(PG_MANAGED | PG_M | PG_RW)) {
MPASS((pbits & (PG_MANAGED | PG_G)) == 0);
if ((pbits & (PG_MANAGED | PG_M | PG_RW)) ==
(PG_MANAGED | PG_M | PG_RW)) {
if ((newpde & PG_MANAGED) != 0)
newpte |= PG_MANAGED;
if ((origpte & PG_MANAGED) != 0 &&
if ((origpte & PG_MANAGED) != 0) {
if ((newpte & PG_MANAGED) == 0)
if ((newpte & PG_MANAGED) != 0) {
if ((origpte & PG_MANAGED) != 0)
newpde |= PG_MANAGED;
if ((newpde & PG_MANAGED) != 0) {
newpte |= PG_MANAGED;
MPASS((*pdpe & (PG_MANAGED | PG_G)) == 0);
MPASS((*pdpe & PG_MANAGED) == 0);
if (*pde == 0 && ((srcptepaddr & PG_MANAGED) == 0 ||
if ((srcptepaddr & PG_MANAGED) != 0)
if ((ptetemp & PG_MANAGED) == 0)
if ((oldpde & PG_MANAGED) == 0)
if ((*pte & (PG_MANAGED | PG_V)) != (PG_MANAGED | PG_V))
#define PG_PTE_PROMOTE (PG_NX | PG_MANAGED | PG_W | PG_G | PG_PTE_CACHE | \
if ((oldpde & PG_MANAGED) != 0)
if (oldpde & PG_MANAGED) {
if (oldpte & PG_MANAGED) {
if ((oldpde & (PG_MANAGED | PG_M | PG_RW)) ==
(PG_MANAGED | PG_M | PG_RW)) {
if ((pbits & (PG_MANAGED | PG_M | PG_RW)) ==
(PG_MANAGED | PG_M | PG_RW)) {
if ((*firstpte & PG_MANAGED) != 0 && pmap == kernel_pmap) {
if ((newpde & PG_MANAGED) != 0)
newpte |= PG_MANAGED;
if ((origpte & PG_MANAGED) != 0 &&
if ((origpte & PG_MANAGED) != 0) {
if ((newpte & PG_MANAGED) == 0)
if ((newpte & PG_MANAGED) != 0) {
if ((origpte & PG_MANAGED) != 0)
newpde |= PG_MANAGED;
if ((newpde & PG_MANAGED) != 0) {
newpte |= PG_MANAGED;
((srcptepaddr & PG_MANAGED) == 0 ||
if ((ptetemp & PG_MANAGED) != 0) {
if ((oldpde & PG_MANAGED) == 0)
if ((*pte & (PG_MANAGED | PG_V)) != (PG_MANAGED | PG_V))
(pte & (PG_MANAGED | PG_V)) == (PG_MANAGED | PG_V)) {
#define PG_PTE_PROMOTE (PG_MANAGED | PG_W | PG_G | PG_PTE_PAT | \
if ((oldl3e & PG_MANAGED) == 0)
if ((be64toh(*pte) & (PG_MANAGED | PG_V)) != (PG_MANAGED | PG_V))
if (be64toh(*l3e) == 0 && ((srcptepaddr & PG_MANAGED) == 0 ||
if ((ptetemp & PG_MANAGED) != 0) {
if ((newpde & PG_MANAGED) != 0)
newpte |= PG_MANAGED;
if ((origpte & PG_MANAGED) != 0 &&
if ((origpte & PG_MANAGED) != 0) {
if ((newpte & PG_MANAGED) == 0)
else if (origpte & PG_MANAGED) {
if ((newpte & PG_MANAGED) != 0) {
if ((origpte & PG_MANAGED) != 0)
newpde |= PG_MANAGED;
if ((newpde & PG_MANAGED) != 0) {
pa |= PG_MANAGED;
if ((oldpde & (PG_MANAGED | PG_M | PG_RW)) ==
(PG_MANAGED | PG_M | PG_RW)) {
if ((pbits & (PG_MANAGED | PG_M | PG_RW)) ==
(PG_MANAGED | PG_M | PG_RW)) {
if ((oldpde & PG_MANAGED) != 0)
if ((oldpde & PG_MANAGED) != 0)
if (oldpde & PG_MANAGED) {
(pte & (PG_MANAGED | PG_V)) == (PG_MANAGED | PG_V)) {
#define PG_PTE_PROMOTE (PG_X | PG_MANAGED | PG_W | PG_PTE_CACHE | \