static void __init xen_hvm_smp_prepare_cpus(unsigned int max_cpus) { native_smp_prepare_cpus(max_cpus); WARN_ON(xen_smp_intr_init(0)); xen_init_lock_cpu(0); }
int main(void) { smp_found_config = nondet(); native_smp_prepare_cpus(); return 0; }
static void __init xen_hvm_smp_prepare_cpus(unsigned int max_cpus) { native_smp_prepare_cpus(max_cpus); WARN_ON(xen_smp_intr_init(0)); /* FIXME: Disable until final solution is found (lp#838026) xen_init_lock_cpu(0); xen_init_spinlocks(); */ }
static void __init xen_hvm_smp_prepare_cpus(unsigned int max_cpus) { native_smp_prepare_cpus(max_cpus); WARN_ON(xen_smp_intr_init(0)); if (!xen_have_vector_callback) return; xen_init_lock_cpu(0); xen_init_spinlocks(); }