Verifier Bugcheck code 0xc4/0x81

NTDEV
1

I’m using the Verifier to check the integrity of my driver. However, I am
obtaining the following Bugcheck:
Bugcheck code: 0x000000c4 (DRIVER_VERIFIER_DETECTED_VIOLATION)
Parameter 1: 0x00000081
Parameter 2: 0x823F1000
Parameter 3: 0x00000804
Parameter 4: 0x00000000

My DDK documentation for 0x000000c4 stops at 0x80 for parameter 1. Google
and Copernicus didn’t yield anything. Can anyone point me towards a
reference for 0xc4/0x81.

Thanks,
Richard

2

Check out the latest debugger:

“The driver called MmMapLockedPages.
(You should use MmMapLockedPagesSpecifyCache instead, with the
BugCheckOnFailure parameter set to FALSE.)”

Pete

Peter Scott
xxxxx@KernelDrivers.com
www.KernelDrivers.com

-----Original Message-----
From: xxxxx@lists.osr.com
[mailto:xxxxx@lists.osr.com] On Behalf Of Richard Edmonds
Sent: Saturday, May 24, 2003 5:20 PM
To: NT Developers Interest List
Cc: xxxxx@cix.co.uk
Subject: [ntdev] Verifier Bugcheck code 0xc4/0x81

I’m using the Verifier to check the integrity of my driver. However, I
am
obtaining the following Bugcheck:
Bugcheck code: 0x000000c4 (DRIVER_VERIFIER_DETECTED_VIOLATION)
Parameter 1: 0x00000081
Parameter 2: 0x823F1000
Parameter 3: 0x00000804
Parameter 4: 0x00000000

My DDK documentation for 0x000000c4 stops at 0x80 for parameter 1.
Google
and Copernicus didn’t yield anything. Can anyone point me towards a
reference for 0xc4/0x81.

Thanks,
Richard

You are currently subscribed to ntdev as: xxxxx@kerneldrivers.com
To unsubscribe send a blank email to xxxxx@lists.osr.com

3

Try the XP SP1 DDK. MDL problems or wrong routine.

----- Original Message -----
From: “Richard Edmonds”
To: “NT Developers Interest List”
Cc:
Sent: Saturday, May 24, 2003 7:20 PM
Subject: [ntdev] Verifier Bugcheck code 0xc4/0x81

> I’m using the Verifier to check the integrity of my driver. However, I
am
> obtaining the following Bugcheck:
> Bugcheck code: 0x000000c4 (DRIVER_VERIFIER_DETECTED_VIOLATION)
> Parameter 1: 0x00000081
> Parameter 2: 0x823F1000
> Parameter 3: 0x00000804
> Parameter 4: 0x00000000
>
> My DDK documentation for 0x000000c4 stops at 0x80 for parameter 1.
Google
> and Copernicus didn’t yield anything. Can anyone point me towards a
> reference for 0xc4/0x81.
>
> Thanks,
> Richard
>
>
> —
> You are currently subscribed to ntdev as: xxxxx@yoshimuni.com
> To unsubscribe send a blank email to xxxxx@lists.osr.com
>