Struct CursorMut

pub struct CursorMut<'a> {
    pt_cursor: CursorMut<'a, UserPtConfig>,
    flusher: TlbFlusher<'a, DisabledPreemptGuard>,
}

The cursor for modifying the mappings in VM space.

It exclusively owns a sub-tree of the page table, preventing others from reading or modifying the same sub-tree.

Fields

pt_cursor: CursorMut<'a, UserPtConfig>

flusher: TlbFlusher<'a, DisabledPreemptGuard>

Implementations

impl<'a> CursorMut<'a>

pub fn query(&mut self) -> Result<(Range<Vaddr>, Option<MappedItem>)>

Queries the mapping at the current virtual address.

This is the same as Cursor::query.

If the cursor is pointing to a valid virtual address that is locked, it will return the virtual address range and the mapped item.

pub fn find_next(&mut self, len: usize) -> Option<Vaddr>

Moves the cursor forward to the next mapped virtual address.

This is the same as Cursor::find_next.

pub fn jump(&mut self, va: Vaddr) -> Result<()>

Jump to the virtual address.

This is the same as Cursor::jump.

pub fn virt_addr(&self) -> Vaddr

Get the virtual address of the current slot.

pub fn flusher(&mut self) -> &mut TlbFlusher<'a, DisabledPreemptGuard>

Get the dedicated TLB flusher for this cursor.

pub fn map(&mut self, frame: UFrame, prop: PageProperty)

Map a frame into the current slot.

This method will bring the cursor to the next slot after the modification.

pub fn unmap(&mut self, len: usize) -> usize

Clears the mapping starting from the current slot, and returns the number of unmapped pages.

This method will bring the cursor forward by len bytes in the virtual address space after the modification.

Already-absent mappings encountered by the cursor will be skipped. It is valid to unmap a range that is not mapped.

It must issue and dispatch a TLB flush after the operation. Otherwise, the memory safety will be compromised. Please call this function less to avoid the overhead of TLB flush. Using a large len is wiser than splitting the operation into multiple small ones.

Panics

Panics if:

• the length is longer than the remaining range of the cursor;
• the length is not page-aligned.

pub fn protect_next( &mut self, len: usize, op: impl FnMut(&mut PageProperty), ) -> Option<Range<Vaddr>>

Applies the operation to the next slot of mapping within the range.

The range to be found in is the current virtual address with the provided length.

The function stops and yields the actually protected range if it has actually protected a page, no matter if the following pages are also required to be protected.

It also makes the cursor moves forward to the next page after the protected one. If no mapped pages exist in the following range, the cursor will stop at the end of the range and return None.

Note that it will NOT flush the TLB after the operation. Please make the decision yourself on when and how to flush the TLB using Self::flusher.

Panics

Panics if the length is longer than the remaining range of the cursor.