openhcl_boot::arch::x86_64

Module tdx

Expand description

TDX support.

Structs§

TdcallInstruction
TdxIoAccess: Tdcall based io port access.

Statics§

TSC_FREQUENCY 🔒: Global variable to store tsc frequency.

Functions§

accept_pages: Accept pages from the specified range.
change_page_visibility: Change the visibility of pages. Note that pages that were previously host visible and are now private, must be reaccepted.
get_tdx_tsc_reftime: Gets the timer ref time in 100ns, and None if it fails to get it
tdcall 🔒: Perform a tdcall instruction with the specified inputs.