大家好，小弟碰到个棘手问题想求教各位高人。
我用S3C6410开发板的外部中断EINT1，在驱动里面我用KernelIoControl(IOCTL_HAL_REQUEST_SYSINTR, &g_EINTIrq, sizeof(g_EINTIrq), &g_EINTSysIntr, sizeof(g_EINTSysIntr), NULL)，其中g_EINTIrq=1（物理中断号为1），g_EINTSysIntr申请的系统中断号，虽然申请成功，但是驱动打印信息中发现-OALIntrRequestSysIntr(irq = 1, sysIntr = 19)，可是打印中断号却不是19，而是13，找了老半天也不行。大家知道怎么回事吗？是哪里没有设置好吗？希望高人指点，小弟感激不尽，谢谢了！！！
