67 static void hpet_disable_timer(hpet_info_t *hip, uint32_t timer_n);
68 static void hpet_enable_timer(hpet_info_t *hip, uint32_t timer_n);
72 static void hpet_timer_set_up(hpet_info_t *hip, uint32_t timer_n,
717 hpet_disable_timer(hpet_info_t *hip, uint32_t timer_n)  in hpet_disable_timer()  argument
721 	l = hpet_read_timer_N_config(hip, timer_n);  in hpet_disable_timer()
723 	hpet_write_timer_N_config(hip, timer_n, l);  in hpet_disable_timer()
727 hpet_enable_timer(hpet_info_t *hip, uint32_t timer_n)  in hpet_enable_timer()  argument
731 	l = hpet_read_timer_N_config(hip, timer_n);  in hpet_enable_timer()
733 	hpet_write_timer_N_config(hip, timer_n, l);  in hpet_enable_timer()
813 hpet_timer_set_up(hpet_info_t *hip, uint32_t timer_n, uint32_t interrupt)  in hpet_timer_set_up()  argument
817 	PRM_DEBUG(timer_n);  in hpet_timer_set_up()
821 	conf = hpet_read_timer_N_config(hip, timer_n);  in hpet_timer_set_up()
837 	hpet_write_timer_N_config(hip, timer_n, conf);  in hpet_timer_set_up()