xen_cpu_disable   336 arch/x86/xen/smp.c static int xen_cpu_disable(void)
xen_cpu_disable   373 arch/x86/xen/smp.c static int xen_cpu_disable(void)