在ISR中能请求分页池的资源吗？

书上说不能，但是我试了一下，在ISR中加了下面的语句：
PUCHAR a = (PUCHAR)ExAllocatePool(PagedPool,10);
RtlZeroMemory(a,10);
ExFreePool(a);

结果一切运行正常，这是怎么回事？

书上说不能，但是我试了一下，在ISR中加了下面的语句：
PUCHAR a = (PUCHAR)ExAllocatePool(PagedPool,10);
RtlZeroMemory(a,10);
ExFreePool(a);

结果一切运行正常，这是怎么回事？

一般是不会有问题，但偶尔出问题也是不允许的呀

应该是个概率性的问题吧。
我觉得ISR例程中不能使用分页内存，主要是因为同步问题。
分页管理也要用到中断机制的。