When you build the checked version of a device driver by using the WinHEC release of the Windows 2000 DDK, compiler optimizations are turned on by default. This may result in difficulties while you debug the driver.
A small change needs to be made to the %BASEDIR%\bin\Setenv.bat file to correct this problem. The changes are as follows (in bold
rem set up an NT checked build environment
set MSC_OPTIMIZATION=/Od /Oi