Module x86_64

x86_64-specific sidecar code.

Modules

addr_space 🔒

init 🔒

Sidecar initialization code. This code runs once, on the BSP, before the main kernel boots.

temporary_map 🔒

Code to temporarily map a physical address to a virtual address, during kernel start.

vp 🔒

Sidecar code that runs on the APs, after initialization. This code all runs with per-AP page tables, concurrently with the main kernel.

Macros

log 🔒

Structs

CommandErrorWriter 🔒

VpGlobals 🔒

Statics

AFTER_INIT 🔒

ENABLE_LOG 🔒

VSM_CAPABILITIES 🔒

VTL_RETURN_OFFSET 🔒

Functions

eoi 🔒

exception_handler 🔒

get_hv_vp_register 🔒

hypercall 🔒

irq_handler 🔒

log_fmt 🔒

panic 🔒

set_hv_vp_register 🔒