qemu/include/hw/timer/sun4v-rtc.h