Lines Matching refs:timer
34 static inline uint64_t timer_get_cntct(enum arch_timer timer)
38 switch (timer) {
44 GUEST_FAIL("Unexpected timer type = %u", timer);
51 static inline void timer_set_cval(enum arch_timer timer, uint64_t cval)
53 switch (timer) {
61 GUEST_FAIL("Unexpected timer type = %u", timer);
67 static inline uint64_t timer_get_cval(enum arch_timer timer)
69 switch (timer) {
75 GUEST_FAIL("Unexpected timer type = %u", timer);
82 static inline void timer_set_tval(enum arch_timer timer, uint32_t tval)
84 switch (timer) {
92 GUEST_FAIL("Unexpected timer type = %u", timer);
98 static inline void timer_set_ctl(enum arch_timer timer, uint32_t ctl)
100 switch (timer) {
108 GUEST_FAIL("Unexpected timer type = %u", timer);
114 static inline uint32_t timer_get_ctl(enum arch_timer timer)
116 switch (timer) {
122 GUEST_FAIL("Unexpected timer type = %u", timer);
129 static inline void timer_set_next_cval_ms(enum arch_timer timer, uint32_t msec)
131 uint64_t now_ct = timer_get_cntct(timer);
134 timer_set_cval(timer, next_ct);
137 static inline void timer_set_next_tval_ms(enum arch_timer timer, uint32_t msec)
139 timer_set_tval(timer, msec_to_cycles(msec));