I am writing a device driver for a hardware device which is running on a
system which has Windows XP tablet edition. There is ACPI (ASL) code
embedded into the system BIOS ROM and a device driver that registers a
callback by doing the following:

status = devExt->AcpiInterface.RegisterForDeviceNotifications(
devExt->LowerDevObj,
EventHandlerFunction,
devExt
);

The device driver appears to be behaving properly during normal operations,
but when I am running through the driver verifier tests, I get a blue screen
with the following stop code when the test first reboots the machine:

ACPI_DRIVER_INTERNAL

0x000000A3 ( 0x00000002, 0x00090147, 0x86CE6488, 0x86CE6540 )

Where can I find the documentation for that stop code? Specifically, what
would cause it, and possibly what the parameters mean. I have looked at a
couple of DDKs in order to try and determine what the parameters mean to no
avail, I've searched the newsgroups for the meaning of the A3, I've googled
for it, I visited most of the WHDC site.

Can anyone help me find this documentation?

Thanks,

M. Lopez