29.10.2015 17:28, Dmitry Osipenko пишет:
- Disable limiting for that host machine?- Tune timer limit?
These tho variants seem too farfetched, since we don't distinguish the guest software timer poll and some device internal ptimer_get_count() call. Just a note.
-- Dmitry