分页内存与非分页内存的疑惑

参考:https://bbs.pediy.com/thread-160200.htm

张帆《驱动详解》中讲到：
当程序的中断请求级在DISPATCH_LEVEL之上时(包括DISPATCH_LEVEL层)，程序只能使用非分页内存，否则将导致蓝屏死机。
我的疑问是：
1.代码本身只能被加载到非分页内存吗，假设下面的例程void somefun()总是运行在DISPATCH_LEVEL时，
我做如下定义，在实际运行怎么不报错？

pragma PAGEDCODE

void somefun()
{
    ...
}

2.代码内部能否只能动态分配非分页内存，假设下面的例程void somefun()总是运行在DISPATCH_LEVEL时，。
我在例程内部编写如下代码，在实际运行怎么不报错？

pragma PAGEDCODE

void somefun()
{
      PVOID pTmp = ExAllocatePool(PagePool, 1024);
     ... //对pTmp操作，
}

请高手帮我解答一下啊，谢谢

看雪2022 KCTF 秋季赛 防守篇规则，征题截止日期11月12日！（iPhone 14等你拿！）