Symbol: xen_suspendclocks
sys/arch/x86/include/cpu.h
581
void xen_suspendclocks(struct cpu_info *);
sys/arch/xen/xen/xen_machdep.c
330
xen_suspendclocks(curcpu());