Function with_pagetable

kernel/src/process.rs:426–445

Wrapper which runs a closure with a specified page table Ensures that the original page table is restored after the closure finishes.

(page_table_physaddr: u64, func: F)

/// Ensures that the original page table is restored after the
/// closure finishes.
fn with_pagetable<F, R>(page_table_physaddr: u64, func: F) -> R where
    F: FnOnce() -> R {
    // Store the page table and switch back before returning
    let original_page_table = memory::active_pagetable_physaddr();

    // Switch to the new user page table
    //
    // Note: We don't need to turn off interrupts because
    // schedule_next() saves the page table for each thread. This
    // thread temporarily has a different page table to the other
    // threads.
    memory::switch_to_pagetable(page_table_physaddr);

    let result = func();

    // Switch back to original page table
    memory::switch_to_pagetable(original_page_table);

    result
}

pub struct Params {
    pub handles: Vec<Arc<RwLock<Rendezvous>>>,