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, int32_t tval)
84 	switch (timer) {
92 		GUEST_FAIL("Unexpected timer type = %u", timer);
98 static inline int32_t timer_get_tval(enum arch_timer timer)
101 	switch (timer) {
107 		GUEST_FAIL("Could not get timer %d\n", timer);
114 static inline void timer_set_ctl(enum arch_timer timer, uint32_t ctl)
116 	switch (timer) {
124 		GUEST_FAIL("Unexpected timer type = %u", timer);
130 static inline uint32_t timer_get_ctl(enum arch_timer timer)
132 	switch (timer) {
138 		GUEST_FAIL("Unexpected timer type = %u", timer);
145 static inline void timer_set_next_cval_ms(enum arch_timer timer, uint32_t msec)
147 	uint64_t now_ct = timer_get_cntct(timer);
150 	timer_set_cval(timer, next_ct);
153 static inline void timer_set_next_tval_ms(enum arch_timer timer, uint32_t msec)
155 	timer_set_tval(timer, msec_to_cycles(msec));