Symbol: cpu_tlb_flushD
sys/arch/arm/arm/pmap7.c
2123
cpu_tlb_flushD();
sys/arch/armv7/armv7/armv7_machdep.c
319
cpu_tlb_flushD();