Symbol: arch_cpu_invalidate_TLB_page
headers/private/kernel/arch/arm/arch_cpu.h
114
void arch_cpu_invalidate_TLB_page(addr_t page);
src/system/kernel/arch/arm/paging/32bit/ARMPagingMethod32Bit.cpp
188
arch_cpu_invalidate_TLB_page(virtualAddress);
src/system/kernel/arch/arm/paging/32bit/ARMVMTranslationMap32Bit.cpp
600
arch_cpu_invalidate_TLB_page(virtualAddress);