ppc: do not use get_clock_realtime()
authorPaolo Bonzini <pbonzini@redhat.com>
Wed, 26 Nov 2014 14:01:01 +0000 (15:01 +0100)
committerAlexander Graf <agraf@suse.de>
Wed, 7 Jan 2015 15:16:26 +0000 (16:16 +0100)
commit77bad151fbd2b2eed1e959ecc2c3f2ee2f080f6c
tree80b6668b66eca6465e0b87ff26182fad95516d1d
parent2bf9febc95e5bcef8edb10ebc967325917b9c958
ppc: do not use get_clock_realtime()

Use the external qemu-timer API instead.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Alexander Graf <agraf@suse.de>
hw/ppc/ppc.c