xen_pv_cpu_disable  400 arch/x86/xen/smp_pv.c static int xen_pv_cpu_disable(void)
xen_pv_cpu_disable  446 arch/x86/xen/smp_pv.c static int xen_pv_cpu_disable(void)