On 04/10/19 14:00, Peter Maydell wrote: > No, because stop/run causes the ptimer to "lose time" > (we stop the underlying timer and restart it). It's > very common for a device to want to change the ptimer > properties without a stop/restart -- "set the ptimer > count value when the guest writes to the device's counter > register" is the common one. Of the three begin/commit > blocks in the arm_timer.c conversion, only one of those > involves calls to stop/run, and even there we only > call stop/run if the write to the control register > modified the enable bit.
Ok, thanks. Paolo
