|
@@ -486,7 +486,7 @@ static void ipi_timer(void)
|
|
}
|
|
}
|
|
|
|
|
|
#ifdef CONFIG_LOCAL_TIMERS
|
|
#ifdef CONFIG_LOCAL_TIMERS
|
|
-asmlinkage void do_local_timer(struct pt_regs *regs)
|
|
|
|
|
|
+asmlinkage void __exception do_local_timer(struct pt_regs *regs)
|
|
{
|
|
{
|
|
struct pt_regs *old_regs = set_irq_regs(regs);
|
|
struct pt_regs *old_regs = set_irq_regs(regs);
|
|
int cpu = smp_processor_id();
|
|
int cpu = smp_processor_id();
|
|
@@ -551,7 +551,7 @@ static void ipi_cpu_stop(unsigned int cpu)
|
|
*
|
|
*
|
|
* Bit 0 - Inter-processor function call
|
|
* Bit 0 - Inter-processor function call
|
|
*/
|
|
*/
|
|
-asmlinkage void do_IPI(struct pt_regs *regs)
|
|
|
|
|
|
+asmlinkage void __exception do_IPI(struct pt_regs *regs)
|
|
{
|
|
{
|
|
unsigned int cpu = smp_processor_id();
|
|
unsigned int cpu = smp_processor_id();
|
|
struct ipi_data *ipi = &per_cpu(ipi_data, cpu);
|
|
struct ipi_data *ipi = &per_cpu(ipi_data, cpu);
|