PVF_NC
if ((md->pvh_attrs & (PVF_DMOD|PVF_NC)) != PVF_NC)
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
if ((md->pvh_attrs & (PVF_DMOD|PVF_NC)) != PVF_NC)
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
{0, 0, PVF_NC, PVF_NC},
{0, PVF_NC, PVF_NC, PVF_NC},
{PVF_UNC, PVF_NC, PVF_NC, PVF_NC}
md->pvh_attrs &= ~PVF_NC;
if (nattr == 0 && (md->pvh_attrs & PVF_NC) == 0)
md->pvh_attrs = (md->pvh_attrs & ~PVF_NC) | nattr;
if (pv->pv_pmap != pm && (pv->pv_flags & PVF_NC) == 0)
(pv->pv_flags & (PVF_NC | PVF_WRITE)) ==
(PVF_NC | PVF_WRITE))
(pv->pv_flags & (PVF_NC | PVF_WRITE)) == 0)
if ((pv->pv_flags & PVF_NC) == 0) {
(pv->pv_flags & PVF_NC))
pv->pv_flags |= PVF_NC;
if (!(pv->pv_flags & PVF_NC) || (pm != pv->pv_pmap &&
pv->pv_flags &= ~PVF_NC;
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
if (__predict_false(md->pvh_attrs & PVF_NC)) {
md->pvh_attrs &= (PAGE_SIZE - 1) & ~PVF_NC;
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
md->pvh_attrs |= PVF_NC;
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
md->pvh_attrs |= PVF_NC;
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
pv->pv_flags |= PVF_NC;
pv->pv_flags &= ~PVF_NC;
if ((oflags & PVF_NC)) {
pv->pv_flags &= ~PVF_NC;
&& (oflags & PVF_NC) == 0
if (md->pvh_attrs & PVF_NC)
if (pv->pv_flags & PVF_NC) {
if (md->pvh_attrs & PVF_NC)
KASSERT(!(md->pvh_attrs & PVF_NC));
(oflags & PVF_NC) == 0 &&
if (!(oflags & PVF_NC) && l2pte_valid_p(opte)) {
if (!(oflags & PVF_NC) && l2pte_valid_p(opte)) {
KASSERT((md->pvh_attrs & PVF_DMOD) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
KASSERT(arm_cache_prefer_mask == 0 || md->pvh_attrs & (PVF_COLORED|PVF_NC));
if ((md->pvh_attrs & (PVF_NC|PVF_EXEC)) == PVF_EXEC
KASSERT((md->pvh_attrs & PVF_NC) == 0);
&& !(md->pvh_attrs & PVF_NC))
KASSERT((prot & VM_PROT_WRITE) == 0 || (md->pvh_attrs & (PVF_DIRTY|PVF_NC)));
if ((md->pvh_attrs & (PVF_DMOD|PVF_NC)) == PVF_MOD)
if ((md->pvh_attrs & PVF_NC) == 0)
KASSERT(arm_cache_prefer_mask == 0 || src_md->pvh_attrs & (PVF_COLORED|PVF_NC));
| ((src_md->pvh_attrs & PVF_NC) ? 0 : pte_l2_s_cache_mode)