For
example, if you want to check both special pool checking and force IRQL checking, then you
would supply a flag value of 00000011b (binary) or 3 (decimal). You can specify the flag values
in hexadecimal by preceding the flag value with 0x. The following list describes each of the flags.
Bit 0
Special Pool Checking
Bit 1
Force IRQL Checking
Bit 2
Low Resources Simulation
Bit 3
Pool Tracking
Bit 4
I/O Verification
Bit 5
Deadlock Detection
Bit 6
Enhanced I/O Verification
Bit 7
DMA Verification
/querysettings
Displays a summary of the nonvolatile Driver Verifier settings. These
options include the options you have selected and the list of drivers selected for verification.
/volatile
Forces a change to the Driver Verifier volatile settings. These changes take effect
immediately, rather than during the next boot cycle. The settings last until you reboot the
machine, so they aren??™t permanent. You can only perform the Special Memory Pool, Forcing
IRQL Checking, and Low Resources Simulation checks when using volatile settings.
/adddriver
NAME
[
NAME
...]
Adds the specified driver to the volatile driver list. Separate
each driver name with a space.
Pages:
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194