Symbol: x86_cpu_idle_xen
sys/arch/x86/include/cpuvar.h
121
void x86_cpu_idle_xen(void);
sys/arch/x86/x86/x86_machdep.c
559
x86_cpu_idle_set(x86_cpu_idle_xen, "xen", true);