path: root/include/hw/timer/sun4v-rtc.h

void sun4v_rtc_init(hwaddr addr);