sys/amd64/amd64/pmap.c

7129

KASSERT((m->oflags & VPO_UNMANAGED) != 0 || !VA_IS_CLEANMAP(va),

sys/amd64/amd64/pmap.c

7707

KASSERT(!VA_IS_CLEANMAP(va) ||

sys/arm/arm/pmap-v6.c

3888

KASSERT((m->oflags & VPO_UNMANAGED) != 0 || !VA_IS_CLEANMAP(va),

sys/arm/arm/pmap-v6.c

4549

KASSERT(!VA_IS_CLEANMAP(va) ||

sys/arm64/arm64/pmap.c

6016

KASSERT(!VA_IS_CLEANMAP(va) || (l3e & ATTR_SW_MANAGED) == 0,

sys/arm64/arm64/pmap.c

6286

KASSERT(!VA_IS_CLEANMAP(va) ||

sys/i386/i386/pmap.c

3664

!VA_IS_CLEANMAP(va),

sys/i386/i386/pmap.c

4159

KASSERT(pmap != kernel_pmap || !VA_IS_CLEANMAP(va) ||

sys/powerpc/aim/mmu_radix.c

2844

KASSERT((m->oflags & VPO_UNMANAGED) != 0 || !VA_IS_CLEANMAP(va),

sys/powerpc/aim/mmu_radix.c

3381

KASSERT(!VA_IS_CLEANMAP(va) ||

sys/riscv/riscv/pmap.c

3781

KASSERT(!VA_IS_CLEANMAP(va) ||