MmFreeContiguousMemory() is callable at up to DISPATCH_LEVEL, but MiFreeContiguousMemory() used PAGED_CODE(), which incorrectly asserted above APC_LEVEL in checked builds. Replace it with an assertion that enforces the exported IRQL contract.