Add map/unmap implementation from phil_opp
This commit is contained in:
parent
401dfdd06d
commit
c5d99b3b82
|
@ -80,3 +80,117 @@ impl Page {
|
||||||
pub struct ActivePageTable {
|
pub struct ActivePageTable {
|
||||||
l0: Unique<Table<Level0>>,
|
l0: Unique<Table<Level0>>,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl ActivePageTable {
|
||||||
|
pub unsafe fn new() -> ActivePageTable {
|
||||||
|
ActivePageTable {
|
||||||
|
l0: Unique::new_unchecked(table::L0),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn l0(&self) -> &Table<Level0> {
|
||||||
|
unsafe { self.l0.as_ref() }
|
||||||
|
}
|
||||||
|
|
||||||
|
fn l0_mut(&mut self) -> &mut Table<Level0> {
|
||||||
|
unsafe { self.l0.as_mut() }
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn translate(&self, virtual_address: VirtualAddress) -> Option<PhysicalAddress> {
|
||||||
|
let offset = virtual_address % PAGE_SIZE;
|
||||||
|
self.translate_page(Page::containing_address(virtual_address))
|
||||||
|
.map(|frame| frame.number * PAGE_SIZE + offset)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn translate_page(&self, page: Page) -> Option<Frame> {
|
||||||
|
use self::entry::EntryFlags;
|
||||||
|
|
||||||
|
let l1 = self.l0().next_table(page.l0_index());
|
||||||
|
|
||||||
|
let huge_page = || {
|
||||||
|
l1.and_then(|l1| {
|
||||||
|
let l1_entry = &l1[page.l1_index()];
|
||||||
|
// 1GiB page?
|
||||||
|
if let Some(start_frame) = l1_entry.pointed_frame() {
|
||||||
|
if !l1_entry.flags().contains(EntryFlags::TABLE) {
|
||||||
|
// address must be 1GiB aligned
|
||||||
|
assert!(start_frame.number % (ENTRY_COUNT * ENTRY_COUNT) == 0);
|
||||||
|
return Some(Frame {
|
||||||
|
number: start_frame.number + page.l2_index() * ENTRY_COUNT
|
||||||
|
+ page.l3_index(),
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if let Some(l2) = l1.next_table(page.l1_index()) {
|
||||||
|
let l2_entry = &l2[page.l2_index()];
|
||||||
|
// 2MiB page?
|
||||||
|
if let Some(start_frame) = l2_entry.pointed_frame() {
|
||||||
|
if !l2_entry.flags().contains(EntryFlags::TABLE) {
|
||||||
|
// address must be 2MiB aligned
|
||||||
|
assert!(start_frame.number % ENTRY_COUNT == 0);
|
||||||
|
return Some(Frame {
|
||||||
|
number: start_frame.number + page.l3_index(),
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
None
|
||||||
|
})
|
||||||
|
};
|
||||||
|
|
||||||
|
l1.and_then(|l1| l1.next_table(page.l1_index()))
|
||||||
|
.and_then(|l2| l2.next_table(page.l2_index()))
|
||||||
|
.and_then(|l3| l3[page.l3_index()].pointed_frame())
|
||||||
|
.or_else(huge_page)
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn map_to<A>(&mut self, page: Page, frame: Frame, flags: EntryFlags, allocator: &mut A)
|
||||||
|
where
|
||||||
|
A: FrameAllocator,
|
||||||
|
{
|
||||||
|
let l0 = self.l0_mut();
|
||||||
|
let mut l1 = l0.next_table_create(page.l0_index(), allocator);
|
||||||
|
let mut l2 = l1.next_table_create(page.l1_index(), allocator);
|
||||||
|
let mut l3 = l2.next_table_create(page.l2_index(), allocator);
|
||||||
|
|
||||||
|
assert!(l3[page.l3_index()].is_unused());
|
||||||
|
l3[page.l3_index()].set(frame, flags | EntryFlags::VALID);
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn map<A>(&mut self, page: Page, flags: EntryFlags, allocator: &mut A)
|
||||||
|
where
|
||||||
|
A: FrameAllocator,
|
||||||
|
{
|
||||||
|
let frame = allocator.allocate_frame().expect("out of memory");
|
||||||
|
self.map_to(page, frame, flags, allocator)
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn identity_map<A>(&mut self, frame: Frame, flags: EntryFlags, allocator: &mut A)
|
||||||
|
where
|
||||||
|
A: FrameAllocator,
|
||||||
|
{
|
||||||
|
let page = Page::containing_address(frame.start_address());
|
||||||
|
self.map_to(page, frame, flags, allocator)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn unmap<A>(&mut self, page: Page, allocator: &mut A)
|
||||||
|
where
|
||||||
|
A: FrameAllocator,
|
||||||
|
{
|
||||||
|
// use aarch64::instructions::tlb;
|
||||||
|
// use x86_64::VirtualAddress;
|
||||||
|
|
||||||
|
assert!(self.translate(page.start_address()).is_some());
|
||||||
|
|
||||||
|
let l3 = self.l0_mut()
|
||||||
|
.next_table_mut(page.l0_index())
|
||||||
|
.and_then(|l1| l1.next_table_mut(page.l1_index()))
|
||||||
|
.and_then(|l2| l2.next_table_mut(page.l2_index()))
|
||||||
|
.expect("mapping code does not support huge pages");
|
||||||
|
let frame = l3[page.l3_index()].pointed_frame().unwrap();
|
||||||
|
l3[page.l3_index()].set_unused();
|
||||||
|
// tlb::flush(VirtualAddress(page.start_address()));
|
||||||
|
// TODO free p(1,2,3) table if empty
|
||||||
|
//allocator.deallocate_frame(frame);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
Loading…
Reference in New Issue