arch/x86_64/src/kernel/cpu/tlb.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#include "arch/kernel/cpu/tlb.hpp"

#include "arch/kernel/cpu/control_register.hpp"

namespace teachos::arch::kernel::cpu
{
  auto tlb_flush(memory::paging::virtual_address address) -> void
  {
    asm volatile("invlpg (%[input])" : /* no output from call */ : [input] "r"(address) : "memory");
  }

  auto tlb_flush_all() -> void
  {
    write_control_register(cpu::control_register::CR3, read_control_register(cpu::control_register::CR3));
  }
}  // namespace teachos::arch::kernel::cpu