#include <stdio.h>
#include <acpi.h>
#include <acpisys.h>
#include <acpi_bus.h>
#include <acpi_drivers.h>
#include <glue.h>
#include <wdmguid.h>
#include <acpiioct.h>
#include <ntintsafe.h>
Go to the source code of this file.