if 0 //修改此处
attribute((always_inline))
void __local_irq_disable(void)
{
__builtin_pi32v2_cli();
irq_lock_cnt[current_cpu_id()]++;
}
…
#else //把中断优先级大于等于7的中断设定为不可屏蔽中断
SEC_USED(.volatile_ram_code)
void __local_irq_disable(void)
{
__builtin_pi32v2_cli();
q32DSP(current_cpu_id())->IPMASK = 7;
asm volatile(“csync;”);
irq_lock_cnt[current_cpu_id()]++;
__builtin_pi32v2_sti();
}
…
#endif