Markus Armbruster Thu, 27 Nov 2014 01:21:16 -0800
Paolo Bonzini <[email protected]> writes: > Use the external qemu-timer API instead.
Ignorant question: why?