Module platform

Modules

kernel_map

memory

Constants

VIRTUAL_ADDRESS_BITS

Functions

hart_to_plic_context_id

Get the ID of the PLIC context corresponding to the S-mode interrupt target for the given HART ID. The mapping between these IDs is platform-specific, but might have a better conversion mechanism in the future.

Type Aliases

PageTableImpl