Symbol: xen_startrtclock
sys/arch/amd64/amd64/autoconf.c
97
xen_startrtclock();
sys/arch/i386/i386/autoconf.c
110
xen_startrtclock();
sys/arch/x86/include/cpu.h
577
void xen_startrtclock(void);
sys/arch/xen/x86/autoconf.c
119
xen_startrtclock();