Symbol: sysctl_xen_timepush
sys/arch/xen/xen/xen_clock.c
171
static int sysctl_xen_timepush(SYSCTLFN_ARGS);
sys/arch/xen/xen/xen_clock.c
965
sysctl_xen_timepush, 0, &xen_timepush.ticks, 0,