Crate memory_x86_64

This crate implements the virtual memory subsystem interfaces for Theseus on x86_64.

The memory crate uses this crate to obtain the multiboot2-provided memory layout of the base kernel image (nano_core), and to do other arch-specific operations on x86_64.

Structs

• AggregatedSectionMemoryBounds
  The address bounds and flags of the initial kernel sections that need mapping.
• SectionMemoryBounds
  The address bounds and mapping flags of a section’s memory region.

Traits

• BootInformation
• ElfSection
• Module

Functions

• find_section_memory_bounds
  Finds the addresses in memory of the main kernel sections, as specified by the given boot information.
• get_p4
  Returns the current top-level page table address.
• get_vga_mem_addr
  Gets the physical memory occupied by vga.
• tlb_flush_all
  Flushes the whole TLB.
• tlb_flush_virt_addr
  Flushes the specific virtual address in TLB.