2  * Arm SSE Subsystem System Counter
13  * This is a model of the "System counter" which is documented in
17  * The system counter is a non-stop 64-bit up-counter. It provides
20  * from a clock. Internally to the counter the count is actually
34 #include "hw/timer/sse-counter.h"
50  * Although CNTCR defines interrupt-related bits, the counter doesn't
146         /* Counter is disabled and does not increment */  in sse_counter_for_timestamp()
154          * the underlying 88-bit counter for every tick of the  in sse_counter_for_timestamp()
157          * how much the full 88-bit counter has moved on; we then  in sse_counter_for_timestamp()
177      * Write one 32-bit half of the counter value; startbit is the  in sse_write_cntcv()
201          * The only bit here is DBGH, indicating that the counter has been  in sse_counter_control_read()
218          *  - counter scaling is implemented  in sse_counter_control_read()
235                       "SSE System Counter control frame read: bad offset 0x%x",  in sse_counter_control_read()
255          * Although CNTCR defines interrupt-related bits, the counter doesn't  in sse_counter_control_write()
259          * that changing the scale factor while the counter is enabled  in sse_counter_control_write()
260          * by toggling CNTCR.SCEN has the same behaviour (making the counter  in sse_counter_control_write()
267              * Whether the counter is being enabled or disabled, the  in sse_counter_control_write()
287          * If the scale registers are changed when the counter is enabled,  in sse_counter_control_write()
300                       "SSE System Counter control frame: write to RO offset 0x%x\n",  in sse_counter_control_write()
305                       "SSE System Counter control frame: write to bad offset 0x%x\n",  in sse_counter_control_write()
329                       "SSE System Counter status frame read: bad offset 0x%x",  in sse_counter_status_read()
349                       "SSE System Counter status frame: write to RO offset 0x%x\n",  in sse_counter_status_write()
354                       "SSE System Counter status frame: write to bad offset 0x%x\n",  in sse_counter_status_write()
424                           s, "sse-counter-control", 0x1000);  in sse_counter_init()
426                           s, "sse-counter-status", 0x1000);  in sse_counter_init()
436         error_setg(errp, "SSE system counter: CLK must be connected");  in sse_counter_realize()
442     .name = "sse-counter",