hpet_info_t
hpet_info_t hpet_info; /* Human readable Information */
hpet_start_main_counter(hpet_info_t *hip)
hpet_stop_main_counter(hpet_info_t *hip)
static int hpet_start_main_counter(hpet_info_t *hip);
static int hpet_stop_main_counter(hpet_info_t *hip);
static uint64_t hpet_read_main_counter_value(hpet_info_t *hip);
static uint64_t hpet_set_leg_rt_cnf(hpet_info_t *hip, uint32_t new_value);
hpet_set_leg_rt_cnf(hpet_info_t *hip, uint32_t new_value)
static uint64_t hpet_read_gen_cap(hpet_info_t *hip);
static uint64_t hpet_read_gen_config(hpet_info_t *hip);
hpet_read_gen_cap(hpet_info_t *hip)
hpet_read_gen_config(hpet_info_t *hip)
static uint64_t hpet_read_gen_intrpt_stat(hpet_info_t *hip);
hpet_read_gen_intrpt_stat(hpet_info_t *hip)
static uint64_t hpet_read_timer_N_config(hpet_info_t *hip, uint_t n);
hpet_read_timer_N_config(hpet_info_t *hip, uint_t n)
static void hpet_write_gen_config(hpet_info_t *hip, uint64_t l);
static void hpet_write_gen_intrpt_stat(hpet_info_t *hip, uint64_t l);
hpet_read_main_counter_value(hpet_info_t *hip)
static void hpet_write_timer_N_config(hpet_info_t *hip, uint_t n, uint64_t l);
static void hpet_write_timer_N_comp(hpet_info_t *hip, uint_t n, uint64_t l);
static void hpet_disable_timer(hpet_info_t *hip, uint32_t timer_n);
hpet_write_gen_config(hpet_info_t *hip, uint64_t l)
static void hpet_enable_timer(hpet_info_t *hip, uint32_t timer_n);
hpet_write_gen_intrpt_stat(hpet_info_t *hip, uint64_t l)
hpet_write_timer_N_config(hpet_info_t *hip, uint_t n, uint64_t conf)
static int hpet_get_IOAPIC_intr_capable_timer(hpet_info_t *hip);
hpet_write_timer_N_comp(hpet_info_t *hip, uint_t n, uint64_t l)
hpet_disable_timer(hpet_info_t *hip, uint32_t timer_n)
static void hpet_timer_set_up(hpet_info_t *hip, uint32_t timer_n,
hpet_enable_timer(hpet_info_t *hip, uint32_t timer_n)
hpet_get_IOAPIC_intr_capable_timer(hpet_info_t *hip)
hpet_timer_set_up(hpet_info_t *hip, uint32_t timer_n, uint32_t interrupt)
hpet_timer_program(hpet_info_t *hip, uint32_t timer, uint64_t delta)
extern hpet_info_t hpet_info;