HPET structure. More...

#include <hpet.h>

Public Attributes
volatile uint64_t	capabilities
	HPET capabilities register.

uint64_t	reserved0
	must be 0

volatile uint64_t	configuration
	HPET configuration register.

uint64_t	reserved1
	must be 0

uint64_t	interrupt_status
	HPET interrupt status register.

uint64_t	reserved2 [25]
	must be 0

volatile uint64_t	main_counter
	main counter

uint64_t	reserved3
	must be 0

volatile uint64_t	timer0_configuration
	HPET timer 0 configuration register.

volatile uint64_t	timer0_comparator_value
	HPET timer 0 comparator value.

volatile uint64_t	timer0_fsb_interrupt_route
	HPET timer 0 FSB interrupt route.

uint64_t	timer0_reserved
	must be 0

volatile uint64_t	timer1_configuration
	HPET timer 1 configuration register.

volatile uint64_t	timer1_comparator_value
	HPET timer 1 comparator value.

volatile uint64_t	timer1_fsb_interrupt_route
	HPET timer 1 FSB interrupt route.

uint64_t	timer1_reserved
	must be 0

volatile uint64_t	timer2_configuration
	HPET timer 2 configuration register.

volatile uint64_t	timer2_comparator_value
	HPET timer 2 comparator value.

volatile uint64_t	timer2_fsb_interrupt_route
	HPET timer 2 FSB interrupt route.

uint64_t	timer2_reserved
	must be 0