Searched refs:hpet_info_t (Results 1 – 2 of 2) sorted by relevance
48 static int hpet_start_main_counter(hpet_info_t *hip);49 static int hpet_stop_main_counter(hpet_info_t *hip);50 static uint64_t hpet_read_main_counter_value(hpet_info_t *hip);51 static uint64_t hpet_set_leg_rt_cnf(hpet_info_t *hip, uint32_t new_value);52 static uint64_t hpet_read_gen_cap(hpet_info_t *hip);53 static uint64_t hpet_read_gen_config(hpet_info_t *hip);54 static uint64_t hpet_read_gen_intrpt_stat(hpet_info_t *hip);55 static uint64_t hpet_read_timer_N_config(hpet_info_t *hip, uint_t n);57 static void hpet_write_gen_config(hpet_info_t *hip, uint64_t l);58 static void hpet_write_gen_intrpt_stat(hpet_info_t *hip, uint64_t l);[all …]
260 } hpet_info_t; typedef281 extern hpet_info_t hpet_info;