Function create_new_user_pagetable

kernel/src/memory.rs:183–199

Creates a PageTable containing only kernel pages - Copies the kernel pagetables into a new set of tables - Adds the KernelInfo read-only page Returns ------- - A pointer to the PageTable (virtual address in kernel mapped pages) - The physical address which can be written to cr3

()

/// - The physical address which can be written to cr3
///
pub fn create_new_user_pagetable() -> (*mut PageTable, u64) {
    let memory_info = unsafe {MEMORY_INFO.as_mut().unwrap()};

    // Copy kernel pages
    let (user_page_table_ptr, user_page_table_physaddr) =
        copy_pagetables(memory_info.kernel_l4_table);

    // Add KernelInfo page
    let memory_info = unsafe {MEMORY_INFO.as_mut().unwrap()};
    let mut mapper = unsafe {
        OffsetPageTable::new(&mut *user_page_table_ptr,
                             memory_info.physical_memory_offset)};
    _ = kernel_info::add_to_user_table(&mut mapper,
                                   &mut memory_info.frame_allocator);

    (user_page_table_ptr, user_page_table_physaddr)
}

/// Switch to the specified page table
///