To all those that care … 
I tested Peter’s theory that AllocateAdapterChannel allocates a PTE when the
Verifier is enabled on Windows XP, and found out that it does. However, it
does NOT free that PTE when the IRP is completed. Since I’m dealing with a
DMA activity that consumes no resources, it’s a zero length data transfer
that must be sent to the hardware. Verifier complains mightily about the
NORMAL methods of freeing or flushing anything associated with this
transfer.
So, the “deadf00d” problem and PTE consumption are all aspects of using
Driver Verifier under XP. Of these 2, I consider the PTE problem a bug.
There should at least be a “proper” way of releasing the PTE that satisfies
Driver Verifier.
Gary
-----Original Message-----
From: Peter G. Viscarola [mailto:xxxxx@osr.com]
Sent: Wednesday, April 11, 2001 11:56 AM
To: NT Developers Interest List
Subject: [ntdev] Re: [NTDEV][WINXP] Cute code in
AllocateAdapterChannel
You are currently subscribed to ntdev as: $subst(‘Recip.EmailAddr’)
To unsubscribe send a blank email to leave-ntdev-$subst(‘Recip.MemberIDChar’)@lists.osr.com