blob: c1160dca01a56115350f0f109c48dd5855458d97 (
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 { tlb_flush(PAGE_TABLE_LEVEL_4_ADDRESS); }
} // namespace teachos::arch::memory::paging
|
