sys/arch/arm/arm32/pmap.c

2112

md->pvh_attrs |= tst_mask | PVF_COLORED;

sys/arch/arm/arm32/pmap.c

2157

md->pvh_attrs |= PVF_COLORED

sys/arch/arm/arm32/pmap.c

2213

md->pvh_attrs &= ~PVF_COLORED;

sys/arch/arm/arm32/pmap.c

2275

md->pvh_attrs &= ~PVF_COLORED;

sys/arch/arm/arm32/pmap.c

2657

KASSERT(arm_cache_prefer_mask == 0 || md->pvh_attrs & PVF_COLORED);

sys/arch/arm/arm32/pmap.c

3693

KASSERT(arm_cache_prefer_mask == 0 || md->pvh_attrs & (PVF_COLORED|PVF_NC));

sys/arch/arm/arm32/pmap.c

3837

KASSERT(arm_cache_prefer_mask == 0 || (va & PVF_COLORED) == 0);

sys/arch/arm/arm32/pmap.c

3857

md->pvh_attrs |= PVF_KMPAGE | PVF_COLORED | PVF_DIRTY

sys/arch/arm/arm32/pmap.c

5541

md->pvh_attrs |= PVF_COLORED;

sys/arch/arm/arm32/pmap.c

5669

md->pvh_attrs |= PVF_COLORED;

sys/arch/arm/arm32/pmap.c

5743

KASSERT(arm_cache_prefer_mask == 0 || src_md->pvh_attrs & (PVF_COLORED|PVF_NC));

sys/arch/arm/arm32/pmap.c

5829

dst_md->pvh_attrs |= PVF_COLORED;

sys/arch/arm/include/arm32/pmap.h

398

(((md)->pvh_attrs & PVF_COLORED) != 0)