一个关于GPIO读取的问题

在OMAPL138的ARM端，使用sysbios操作系统，GPIO的中断是正常的，但是，在读取GPIO的中断状态寄存器时，在调试器Registers能看到有中断在Pending的，可是通过volatile变量去读这个寄存器时，一直返回是0，读取不到已经Pending的GPIO。不知道是否跟sysbios有关，但是，同样的代码，没有操作系统的环境下，是可以读取到Pending的GPIO。