blob: 1704e28d3952dee60494a900125dfec68b7ee48c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
//! Memory Management Operations
//! Wrappers for paging and memory control
/// Read page table base register
pub inline fn read_page_table_base() u64 {
return asm volatile ("mov %%cr3, %[result]"
: [result] "=r" (-> u64),
);
}
/// Write page table base register
pub inline fn write_page_table_base(value: u64) void {
asm volatile ("mov %[value], %%cr3"
:
: [value] "r" (value),
: .{ .memory = true });
}
/// Read page fault address register
pub inline fn read_page_fault_address() u64 {
return asm volatile ("mov %%cr2, %[result]"
: [result] "=r" (-> u64),
);
}
/// Invalidate translation lookaside buffer entry for given address
pub inline fn invalidate_page(address: u64) void {
asm volatile ("invlpg (%[addr])"
:
: [addr] "r" (address),
: .{ .memory = true });
}
|