I referred to
https://lists.nongnu.org/archive/html/qemu-devel/2014-09/msg00279.html in V3,
but probably it was a different issue. Anyway, I tested VExpress SMP with 4.3
linux kernel and it doesn't work without V3 fix and with old TimerBlock variant.
--
Dmitry
Current ARM MPTimer implementation uses QEMUTimer for the actual timer,
this implementation isn't complete and mostly tries to duplicate of what
generic ptimer is already doing fine.
Conversion to ptimer brings the following benefits and fixes:
- Simple timer pausing implementation
