hw/timer/sse-timer.c

17  * The timer is based around a simple 64-bit incrementing counter
19  *  Counter - CompareValue >= 0.
22  *  TimerValue = CompareValue[31:0] - Counter[31:0]
28  *  AutoIncrValue = Reload + Counter
30  *  Counter - AutoIncrValue >= 0
42 #include "hw/timer/sse-counter.h"
103     return sse_counter_for_timestamp(s->counter,  in sse_cntpct()
139     uint64_t expiry = sse_counter_tick_to_time(s->counter, nexttick);  in sse_set_timer()
151          * This is also the code path for "counter is not running",  in sse_set_timer()
391     /* System counter told us we need to recalculate */  in sse_timer_counter_callback()
416     if (!s->counter) {  in sse_timer_realize()
417         error_setg(errp, "counter property was not set");  in sse_timer_realize()
422     sse_counter_register_consumer(s->counter, &s->counter_notifier);  in sse_timer_realize()
444     DEFINE_PROP_LINK("counter", SSETimer, counter, TYPE_SSE_COUNTER, SSECounter *),