DRIVER_VERIFIER_DETECTED_VIOLATION (0x38) on rdbss.lib

Hi All.

I wanted to find out if rdbss.lib that comes with Srv2003 IFSKIT passes
all driver verifier tests and whether I am wasting my time trying to get
driver verifier pass all tests on my Pseudo FSD.

I am writing a FSD (part of a pseudo file system) that uses Zw calls to
perform file operations on the local disk. I am relying on rdbss.lib and
linking to rdbss.lib to get network redirector functionality.

My driver runs fine without driver verifier on XP SP1. On 2000, I have
major problems but that’s beside the point. More importantly, when I
turn driver verifier ON for my driver and try to read a file on my
redirected drive, I get :

0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION P1 = 0x38 P2 = 0 P3 = 0.
(The driver tried to release a resource, but APCs are not disabled.)

The call stack references rdbss.lib functions not mine giving me the
impression that rdbss.lib (from Srv03 IFSKIT) is buggy.

Ntoskrnl!KeRegisterbugcheckreasoncallback
Ntoskrnl!RtlCompressBuffer
Vkfsdrv!FsRTLCopyRead2
Vkfsdrv!RxFastIoRead
Ntoskrnl!ntreadfile

Do I need to call FsRTLEnter/ExitFileSystem before calling Zw calls or
should I just not try to get driver verifier working with my driver ?
Please let me know if you need more details.

FYI : I also got some driver verifier exceptions on mrxsmb.sys.

Thanks a lot for your help !

Amitabh Mathrawala