Re: [Qemu-devel] [Qemu-ppc] [PATCH] ppc: do not use get_clock_realtime()

[Alexander Graf]

On 26.11.14 15:01, Paolo Bonzini wrote:
> Use the external qemu-timer API instead.
> 
> Cc: qemu-...@nongnu.org
> Signed-off-by: Paolo Bonzini <pbonz...@redhat.com>

Thanks, applied to ppc-next.


Alex