Symbol: PV_BEEN_EXECD
sys/arch/arm/arm/pmap7.c
1014
if (PV_BEEN_EXECD(pv->pv_flags))
sys/arch/arm/arm/pmap7.c
968
if (PV_BEEN_EXECD(pv->pv_flags))