headers/private/kernel/arch/cpu.h

35

void arch_cpu_global_tlb_invalidate(void);

src/system/kernel/arch/arm/arch_thread.cpp

131

arch_cpu_global_tlb_invalidate();

src/system/kernel/arch/arm64/arch_cpu.cpp

117

arch_cpu_global_tlb_invalidate();

src/system/kernel/arch/arm64/arch_cpu.cpp

124

arch_cpu_global_tlb_invalidate();

src/system/kernel/arch/arm64/arch_cpu.cpp

143

arch_cpu_global_tlb_invalidate();

src/system/kernel/arch/m68k/arch_vm_translation_map_impl.cpp

1049

arch_cpu_global_tlb_invalidate();

src/system/kernel/arch/ppc/arch_cpu.cpp

171

arch_cpu_global_tlb_invalidate();

src/system/kernel/arch/x86/arch_cpu.cpp

168

arch_cpu_global_tlb_invalidate();

src/system/kernel/arch/x86/arch_cpu.cpp

177

arch_cpu_global_tlb_invalidate();

src/system/kernel/arch/x86/paging/64bit/X86PagingMethod64Bit.cpp

82

arch_cpu_global_tlb_invalidate();

src/system/kernel/main.cpp

261

arch_cpu_global_tlb_invalidate();

src/system/kernel/smp.cpp

873

arch_cpu_global_tlb_invalidate();