Non paged going to special pool?

WINDBG
1

Hello,

I'm running with verifier /rc 1 2 4 5 6 8 9 12 18 20 24 26 35 /driver <mydriver.sys>. I got bugcheck DRIVER_IRQL_NOT_LESS_OR_EQUAL and the memory referenced is allocated with ExAllocatePool2(POOL_FLAG_NON_PAGED | POOL_FLAG_USE_QUOTA, ...). But Windbg shows it belonging to special pool:

0: kd> !pool ffffd982510c8ff8
Pool page ffffd982510c8ff8 region is Special pool
ffffd982510c8000: Unable to get contents of special pool block
0: kd>

Is driver verifier causing the allocation to come from special pool? If so, is special pool using paged memory which causes the bugcheck?

thanks