openhcl_boot::arch::x86_64::tdx

Static TSC_FREQUENCY

Source 
static TSC_FREQUENCY: SingleThreaded<Cell<u64>>
Expand description

Global variable to store tsc frequency.