xref: /openbmc/qemu/hw/timer/xilinx_timer.c (revision 5a5110d2)