Symbol: PTE_SYNC_CURRENT
sys/arch/arm/arm32/pmap.c
952
# define PTE_SYNC_CURRENT(pm, ptep) pmap_pte_sync_current(pm, ptep)
sys/arch/arm/arm32/pmap.c
954
# define PTE_SYNC_CURRENT(pm, ptep) __nothing