blob: b3255e93d4d6c3537245ba3b390622daf61d4a19 (
plain)
1
2
3
4
5
6
7
|
#include "arch/memory/paging/tlb.hpp"
namespace teachos::arch::memory::paging
{
auto tlb_flush(virtual_address address) -> void { asm volatile("invlpg (%0)" ::"r"(address) : "memory"); }
auto tlb_flush_all() -> void { flush(PAGE_TABLE_LEVEL_4_ADDRESS); }
} // namespace teachos::arch::memory::paging
|
