Module hpet 

Structs

HpetInfo

Constants

GAS_ADDR_SPACE_MEMORY 🔒

HPET_CAP_COUNTER_CLK_PERIOD_SHIFT 🔒

HPET_CAP_COUNTER_SIZE 🔒

HPET_CAP_NUM_TIMERS_MASK 🔒

HPET_CONFIG_ENABLE 🔒

HPET_GENERAL_CAP_ID 🔒

HPET_GENERAL_CONFIG 🔒

HPET_MAIN_COUNTER 🔒

HPET_MMIO_MAP_SIZE 🔒

HPET MMIO register page size (minimum 1 KiB, map one full page).

Statics

HPET_INFO 🔒

HPET_INITIALIZED 🔒

Functions

delay_ms

High-precision delay in milliseconds

delay_us

High-precision delay in microseconds

frequency_hz

Get HPET frequency in Hz

hpet_read 🔒 ^⚠

Performs the hpet read operation.

hpet_write 🔒 ^⚠

Performs the hpet write operation.

init

Initialize HPET using the already-discovered ACPI table.

is_available

Check if HPET is initialized

num_timers

Get number of timers

read_counter

Read main counter value

tick_period_ns

Get tick period in nanoseconds

uptime_ms

Get elapsed time since boot in milliseconds

uptime_secs

Get elapsed time since boot in seconds