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

Reply via email to