Symbol: xen_resumeclocks
sys/arch/x86/include/cpu.h
582
void xen_resumeclocks(struct cpu_info *);
sys/arch/xen/xen/xen_clock.c
915
xen_resumeclocks(ci);
sys/arch/xen/xen/xen_machdep.c
375
xen_resumeclocks(curcpu());