Figure 2   Bit-field Parameters

Value	Description
0x01	Use special memory pool
0x02	Activate IRQL checking
0x04	Activate periodic allocation faults
0x08	Memory pool allocation tracking
0x10	Activate the I/O Verifier
All others	Reserved for future use

Figure 3   New Driver Verifier-specific Bug Check Codes

Bug Check Code	Description
0xbe	ATTEMPTED_WRITE_TO_READONLY_MEMORY
0xc1	SPECIAL_POOL_DETECTED_MEMORY_CORRUPTION
0xc2	BAD_POOL_CALLER
0xc4	DRIVER_VERIFIER_DETECTED_VIOLATION
0xc5	DRIVER_CORRUPTED_EXPOOL (this was DRIVER_CORRUPTED_POOL in earlier betas)
0xc6	DRIVER_CAUGHT_MODIFYING_FREED_POOL
0xc7	TIMER_OR_DPC_INVALID
0xc8	IRQL_UNEXPECTED_VALUE
0xc9	DRIVER_VERIFIER_IOMANAGER_VIOLATION
0xcb	DRIVER_LEFT_LOCKED_PAGES_IN_PROCESS
0xcc	PAGE_FAULT_IN_FREED_SPECIAL_POOL
0xcd	PAGE_FAULT_BEYOND_END_OF_ALLOCATION
0xce	DRIVER_UNLOADED_WITHOUT_CANCELLING_PENDING_OPERATIONS
0xcf	TERMINAL_SERVER_DRIVER_MADE_INCORRECT_MEMORY_REFERENCE
0xd0	DRIVER_CORRUPTED_MMPOOL
0xd1	DRIVER_IRQL_NOT_LESS_OR_EQUAL
0xd3	DRIVER_PORTION_MUST_BE_NONPAGED
0xd4	SYSTEM_SCAN_AT_RAISED_IRQL_CAUGHT_IMPROPER_DRIVER_UNLOAD
0xd5	DRIVER_PAGE_FAULT_IN_FREED_SPECIAL_POOL
0xd6	DRIVER_PAGE_FAULT_BEYOND_END_OF_ALLOCATION