Module arch 

Platform-specific code for the x86 platform.

Modules

cpu

CPU context & state control and CPU local memory.

device

Device-related APIs.

irq

Interrupts.

kernel

Architecture kernel module.

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.