Symbol: armv7_tlb_flushD
sys/arch/arm/arm/cpufunc.c
101
armv7_tlb_flushD, /* tlb_flushD */
sys/arch/arm/include/cpufunc.h
230
void armv7_tlb_flushD (void);