Symbol: xen_rtc_set
sys/arch/xen/xen/xen_clock.c
1032
static int xen_rtc_set(struct todr_chip_handle *, struct timeval *);
sys/arch/xen/xen/xen_clock.c
1041
.todr_settime = xen_rtc_set,