107 static void cmsdk_apb_timer_write(void *opaque, hwaddr offset, uint64_t value,  in cmsdk_apb_timer_write()  argument
112     trace_cmsdk_apb_timer_write(offset, value, size);  in cmsdk_apb_timer_write()
116         if (value & 6) {  in cmsdk_apb_timer_write()
123         s->ctrl = value & 0xf;  in cmsdk_apb_timer_write()
135         if (!value) {  in cmsdk_apb_timer_write()
138         ptimer_set_limit(s->timer, value, 1);  in cmsdk_apb_timer_write()
139         if (value && (s->ctrl & R_CTRL_EN_MASK)) {  in cmsdk_apb_timer_write()
150         if (!value && !ptimer_get_limit(s->timer)) {  in cmsdk_apb_timer_write()
153         ptimer_set_count(s->timer, value);  in cmsdk_apb_timer_write()
154         if (value && (s->ctrl & R_CTRL_EN_MASK)) {  in cmsdk_apb_timer_write()
161         value &= 1;  in cmsdk_apb_timer_write()
162         s->intstatus &= ~value;  in cmsdk_apb_timer_write()
257         VMSTATE_UINT32(value, CMSDKAPBTimer),