在BIOS 5.41中配置了外部中断，配置中选中userDispatcher，中断程序为：
extern void c_int4(void)
{
IER &= ~(1<<4);//0xFFFFFF0F;//禁止4个外部中断
ICR = 0xFFFFFFFF;//中断清零
a++;
IER &= ~(1<<4);//0xFFFFFF0F;//屏蔽4个外部中断
return;
}
程序的最后外部中断已经禁止，但是为何还能不断重复进入中断程序？？？
如果不使用BIOS操作系统，直接裸机跑，使用上述中断程序，加上关键字interrupt，则不会重复进入中断！！
这是什么原因？？？？
