build acpi with w32api

svn path=/trunk/; revision=15594
This commit is contained in:
Alex Ionescu 2005-05-28 17:23:33 +00:00
parent cd37d4427a
commit 7717d6cb1a
5 changed files with 10 additions and 2 deletions

View file

@ -1,6 +1,7 @@
<module name="acpi" type="kernelmodedriver" installbase="system32/drivers" installname="acpi.sys" warnings="true">
<include base="acpi">include</include>
<include base="acpi">ospm/include</include>
<define name="__USE_W32API" />
<library>ntoskrnl</library>
<library>hal</library>
<directory name="dispatcher">

View file

@ -148,6 +148,5 @@
#define HI_RSDP_WINDOW_SIZE 0x20000
#define RSDP_SCAN_STEP 16
#endif /* _ACCONFIG_H */

View file

@ -156,7 +156,6 @@ typedef char NATIVE_CHAR;
#define ACPI_UINT64_MAX (UINT64) 0xFFFFFFFFFFFFFFFF
#endif
#ifdef DEFINE_ALTERNATE_TYPES
/*
* Types used only in translated source

View file

@ -15,4 +15,8 @@
#include <ddk/ntddk.h>
typedef UCHAR UINT8;
typedef USHORT UINT16;
typedef ULONGLONG UINT64;
#endif /* __INCLUDE_ACPI_TYPES_H */

View file

@ -27,6 +27,11 @@
#define NDEBUG
#include <debug.h>
/* NDK FIXME */
NTSTATUS
STDCALL
NtVdmControl (ULONG ControlCode, PVOID ControlData);
static PKINTERRUPT AcpiInterrupt;
static BOOLEAN AcpiInterruptHandlerRegistered = FALSE;
static OSD_HANDLER AcpiIrqHandler = NULL;