Exemplo n.º 1
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));

	xen_init_lock_cpu(0);
}
Exemplo n.º 2
0
int main(void)
{

  smp_found_config = nondet();
  native_smp_prepare_cpus();

  return 0;
}
Exemplo n.º 3
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();
    */
}
Exemplo n.º 4
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));

	if (!xen_have_vector_callback)
		return;
	xen_init_lock_cpu(0);
	xen_init_spinlocks();
}