Symbol: PMAP_NEEDS_PTE_SYNC
sys/arch/arm/arm32/pmap.c
947
if (PMAP_NEEDS_PTE_SYNC && pmap_is_cached(pm))
sys/arch/arm/include/arm32/pmap.h
573
#ifndef PMAP_NEEDS_PTE_SYNC
sys/arch/arm/include/arm32/pmap.h
581
if (PMAP_NEEDS_PTE_SYNC) {