should fix bug 2073
See issue #2073 for more details.
svn path=/trunk/; revision=34313
#include <winddi.h>
#include <winioctl.h>
#include <ntddvdeo.h>
+#include <ioaccess.h>
#include "vgavideo/vgavideo.h"
#include "objects/brush.h"
#define DDKCDECLAPI __cdecl
ULONG DbgPrint(PCCH Format,...);
-VOID DDKAPI WRITE_PORT_UCHAR(IN PUCHAR Port, IN UCHAR Value);
-VOID DDKAPI WRITE_PORT_USHORT(IN PUSHORT Port, IN USHORT Value);
-VOID DDKAPI WRITE_REGISTER_UCHAR(IN PUCHAR Register, IN UCHAR Value);
-UCHAR DDKAPI READ_REGISTER_UCHAR(IN PUCHAR Register);
static __inline BOOLEAN
RemoveEntryList(
<module name="vgaddi" type="kernelmodedll" entrypoint="DrvEnableDriver@12" installbase="system32" installname="vgaddi.dll">
<importlibrary definition="vgaddi.def" />
<include base="vgaddi">.</include>
- <library>ntoskrnl</library>
- <library>hal</library>
+ <library>libcntpr</library>
<library>win32k</library>
<directory name="main">
<file>enable.c</file>