Module platform_virt

Source

Modules§

kernel_map
This module contains constants that define how the kernel address space is laid out on RISC-V using the Sv48 paging model. It is very similar to the layout on x86_64, as the structure of the page tables are almost identical on the two architectures.
memory

Constants§

VIRTUAL_ADDRESS_BITS

Functions§

hart_to_plic_context_id

Type Aliases§

PageTableImpl