Symbol: xen_get_timecount
sys/arch/xen/xen/xen_clock.c
141
.tc_get_timecount = xen_get_timecount,
sys/arch/xen/xen/xen_clock.c
76
static unsigned xen_get_timecount(struct timecounter *);