调用MmMapLockedPagesSpecifyCache，却bugcheck C4，怎么回事？

DRIVER_VERIFIER_DETECTED_VIOLATION (c4)
A device driver attempting to corrupt the system has been caught.  This is
because the driver was specified in the registry as being suspect (by the
administrator) and the kernel has enabled substantial checking of this driver.
If the driver attempts to corrupt the system, bugchecks 0xC4, 0xC1 and 0xA will
be among the most commonly seen crashes.
        Parameter 1 = 0x1000 .. 0x1020 - deadlock verifier error codes.
               Typically the code is 0x1001 (deadlock detected) and you can
               issue a '!deadlock' KD command to get more information.
Arguments:
Arg1: 00000082, MmMapLockedPagesSpecifyCache called without MDL_MAPPING_CAN_FAIL
Arg2: 860a2c78, MDL address.
Arg3: 00000002, MDL flags.
Arg4: 00000001, Whether to bugcheck on failure.

似乎说MmMapLockedPagesSpecifyCache必须使用MDL_MAPPING_CAN_FAIL，这个一定要带上么？

是MmMapLockedPagesSpecifyCache的倒数第二个参数需要设置为FALSE