Symbol: xen_rtc_get
sys/arch/xen/xen/xen_clock.c
1031
static int xen_rtc_get(struct todr_chip_handle *, struct timeval *);
sys/arch/xen/xen/xen_clock.c
1040
.todr_gettime = xen_rtc_get,