Exemplo n.º 1
0
static void nmi_cpu_up(void *dummy)
{
	if (nmi_enabled)
		nmi_cpu_setup(dummy);
	if (ctr_running)
		nmi_cpu_start(dummy);
}
static int nmi_cpu_online(unsigned int cpu)
{
	local_irq_disable();
	if (nmi_enabled)
		nmi_cpu_setup();
	if (ctr_running)
		nmi_cpu_start(NULL);
	local_irq_enable();
	return 0;
}