Module setup_kernel_paging 

VMM Paging (x86_64): setup_kernel_paging

Authors: MarioS271

Re-exports

use crate::lib::addr::PhysAddr; 🔒

use crate::lib::addr::VirtAddr; 🔒

use crate::lib::panic::kernel_panic; 🔒

use crate::lib::panic_codes::PanicCode; 🔒

use crate::lib::types::boot_info::KernelSectionInfo; 🔒

use crate::mm::layout; 🔒

use crate::mm::pmm::Pmm; 🔒

use crate::mm::pmm::FRAME_SIZE; 🔒

use crate::mm::vmm::boot_mapping::build_boot_mappings; 🔒

use crate::mm::vmm::boot_mapping::BootMappings; 🔒

use crate::mm::vmm::traits::VmmPaging; 🔒

use crate::mm::vmm::Vmm; 🔒

use crate::state::kstate::KSTATE; 🔒

use crate::kinfo; 🔒

use x86_64::registers::control::Cr3; 🔒

use x86_64::registers::control::Efer; 🔒

use x86_64::registers::control::EferFlags; 🔒

use x86_64::structures::paging::PageTable; 🔒

use x86_64::structures::paging::PageTableFlags; 🔒

use x86_64::structures::paging::PhysFrame; 🔒

Functions

create_zeroed_pdpts 🔒

Prepopulate the higher half with empty PDPTs so that if the kernel PML4 higher half ever gets cloned (like when creating processes), no stale higher halfs exist that aren’t synced with the kernel’s (which could cause page faults when switching into the kernel with user pages)

setup_kernel_paging

Build the kernels page tables and switch to them

verify_against_bootloader 🔒

Verify whether the newly constructed page tables match what the bootloader gave us in critical sections, and panic if they don’t to avoid a page fault/triple fault