hw/timer/sse-counter.h

2  * Arm SSE Subsystem System Counter
13  * This is a model of the "System counter" which is documented in
14  * the Arm SSE-123 Example Subsystem Technical Reference Manual:
18  *  + Clock input "CLK": clock
22  * Consumers of the system counter's timestamp, such as the SSE
23  * System Timer device, can also use the APIs sse_counter_for_timestamp(),
25  * interact with an instance of the System Counter. Generally the
27  * code can set to the appropriate instance of the system counter.
37 #define TYPE_SSE_COUNTER "sse-counter"
47     Clock *clk;
54      * These are used for handling clock frequency changes: they are a
56      * taken when the clock frequency changes. sse_cntcv() needs them
65  * the system timestamp (such as the SSE system timer device)