/* XXX REVISIT Ignore for now. ** *May* need this "hook" to register IPI handler ** once we have perCPU ExtIntr switch tables. */ static void ipi_init(int cpuid) { #error verify IRQ_OFFSET(IPI_IRQ) is ipi_interrupt() in new IRQ region if(cpu_online(cpuid) ) { switch_to_idle_task(current); } return; }
/* XXX REVISIT Ignore for now. ** *May* need this "hook" to register IPI handler ** once we have perCPU ExtIntr switch tables. */ static void ipi_init(int cpuid) { /* If CPU is present ... */ #ifdef ENTRY_SYS_CPUS /* *and* running (not stopped) ... */ #error iCOD support wants state checked here. #endif #error verify IRQ_OFFSET(IPI_IRQ) is ipi_interrupt() in new IRQ region if(cpu_online(cpuid) ) { switch_to_idle_task(current); } return; }