ppc: Don't use CPUPPCState::irq_input_state with modern Book3s CPU models

[qemu/ar7.git] / stubs / cpu-get-clock.c

#include "qemu/osdep.h"
#include "qemu/timer.h"

int64_t cpu_get_clock(void)
{
    return get_clock_realtime();
}