xen_set_default_idle  965 arch/x86/include/asm/processor.h bool xen_set_default_idle(void);
xen_set_default_idle 1024 arch/x86/xen/setup.c 	WARN_ON(xen_set_default_idle());