Symbol: armv7_tlb_flushD_SE
sys/arch/arm/arm/cpufunc.c
102
armv7_tlb_flushD_SE, /* tlb_flushD_SE */
sys/arch/arm/include/cpufunc.h
231
void armv7_tlb_flushD_SE (u_int va);