#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