Module arch

Platform-specific code for the x86 platform.

Modules

cpu

CPU context & state control and CPU local memory.

device

Device-related APIs. This module mainly contains the APIs that should exposed to the device driver like PCI, RTC

irq

Interrupts.

qemu

Provides the ability to exit QEMU and return a value as debug result.

trap

Handles trap.

Macros

if_tdx_enabled

Inserts a TDX-specific code block.

Functions

read_random

Reads a hardware generated 64-bit random value.

read_tsc

Reads the current value of the processor’s time-stamp counter (TSC).

tsc_freq

Returns the frequency of TSC. The unit is Hz.