sys/arch/arm/arm32/pmap.c

2059

if (md->pvh_attrs & PVF_KMPAGE) {

sys/arch/arm/arm32/pmap.c

2088

if (md->pvh_attrs & PVF_KMPAGE)

sys/arch/arm/arm32/pmap.c

2219

&& (md->pvh_attrs & PVF_KMPAGE) == 0) {

sys/arch/arm/arm32/pmap.c

2255

if ((md->pvh_attrs & PVF_KMPAGE) == 0) {

sys/arch/arm/arm32/pmap.c

3694

KASSERT((md->pvh_attrs & PVF_KMPAGE) == 0);

sys/arch/arm/arm32/pmap.c

3781

KASSERT((omd->pvh_attrs & PVF_KMPAGE) == 0);

sys/arch/arm/arm32/pmap.c

3857

md->pvh_attrs |= PVF_KMPAGE | PVF_COLORED | PVF_DIRTY

sys/arch/arm/arm32/pmap.c

3860

md->pvh_attrs |= PVF_KMPAGE;

sys/arch/arm/arm32/pmap.c

3932

if (omd->pvh_attrs & PVF_KMPAGE) {

sys/arch/arm/arm32/pmap.c

3937

omd->pvh_attrs &= ~PVF_KMPAGE;

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

380

#define PVF_DMOD (PVF_MOD|PVF_KMOD|PVF_KMPAGE)