Searched refs:hpet_info_t (Results 1 – 2 of 2) sorted by relevance
54 static int hpet_start_main_counter(hpet_info_t *hip);55 static int hpet_stop_main_counter(hpet_info_t *hip);56 static uint64_t hpet_read_main_counter_value(hpet_info_t *hip);57 static uint64_t hpet_set_leg_rt_cnf(hpet_info_t *hip, uint32_t new_value);58 static uint64_t hpet_read_gen_cap(hpet_info_t *hip);59 static uint64_t hpet_read_gen_config(hpet_info_t *hip);60 static uint64_t hpet_read_gen_intrpt_stat(hpet_info_t *hip);61 static uint64_t hpet_read_timer_N_config(hpet_info_t *hip, uint_t n);63 static void hpet_write_gen_config(hpet_info_t *hip, uint64_t l);64 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;