Home
last modified time | relevance | path

Searched refs:send_ipi_cpu0mask (Results 1 – 1 of 1) sorted by relevance

/xen/xen/arch/x86/
A Dsmpboot.c62 static cpumask_t send_ipi_cpu0mask; variable
946 if ( per_cpu(send_ipi_cpumask, cpu) != &send_ipi_cpu0mask ) in cpu_smpboot_free()
1205 per_cpu(send_ipi_cpumask, cpu) = &send_ipi_cpu0mask; in smp_prepare_boot_cpu()

Completed in 4 milliseconds