blob: 2b53fa487b375674c0475b306b2d65d231f8f20b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#include <arch/memory/mmu.hpp>
#include <arch/cpu/registers.hpp>
#include <kapi/memory.hpp>
namespace arch::memory
{
auto tlb_flush(kapi::memory::linear_address address) -> void
{
asm volatile("invlpg (%[input])" : /* no output from call */ : [input] "r"(address) : "memory");
}
auto tlb_flush_all() -> void
{
auto paging_root = cpu::cr3::read();
cpu::cr3::write(paging_root);
}
} // namespace arch::memory
|
