diff --git a/reactos/drivers/video/displays/vga/vgaddi.h b/reactos/drivers/video/displays/vga/vgaddi.h
index 3216da1978d..0fae336de64 100644
--- a/reactos/drivers/video/displays/vga/vgaddi.h
+++ b/reactos/drivers/video/displays/vga/vgaddi.h
@@ -10,6 +10,7 @@
 #include <winddi.h>
 #include <winioctl.h>
 #include <ntddvdeo.h>
+#include <ioaccess.h>
 
 #include "vgavideo/vgavideo.h"
 #include "objects/brush.h"
@@ -30,10 +31,6 @@
 #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(
diff --git a/reactos/drivers/video/displays/vga/vgaddi.rbuild b/reactos/drivers/video/displays/vga/vgaddi.rbuild
index 9de7708cec3..09ff2a846a0 100644
--- a/reactos/drivers/video/displays/vga/vgaddi.rbuild
+++ b/reactos/drivers/video/displays/vga/vgaddi.rbuild
@@ -3,8 +3,7 @@
 <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>