use ;
use ;
use Cr3;
use ;
// Not sure how to get the configured page size, but pretty sure it's only 4kib by default
// TODO: check if this is true and enable 64-bit pages
static PAGE_SIZE: u64 = SIZE;
// TODO: increase page size here as well
unsafe
/// Caller must ensure memory map is valid
pub unsafe
/// Get the current active level 4 page table
unsafe
pub unsafe