HPET

include/acpi/hpet.h

• void hpet_init(void)
• void hpet_program_oneshot(uint64_t future_ms)
• uint64_t hpet_timestamp_ms(void)
• uint64_t hpet_timestamp_us(void)
• void hpet_disable(void)
• void hpet_enable(void)
• void hpet_clear_interrupt_status(void)
• void hpet_setup_timer(uint8_t timer_index,uint8_t irq_line,bool periodic,bool edge_triggered)
• static inline void hpet_write64(uint64_t offset,uint64_t value)
• static inline uint64_t hpet_read64(uint64_t offset)

Defines

• HPET_GEN_CAP_ID_OFFSET: 0x0
• HPET_GEN_CONF_OFFSET: 0x10
• HPET_GEN_INT_STAT_OFFSET: 0x20
• HPET_IRQ_BASE: 2
• HPET_MAIN_COUNTER_OFFSET: 0xF0
• HPET_CURRENT: (smp_core_id() % hpet_timer_count)
• HPET_IRQ_LINE: 2

---