diff --git a/src/reg_dumper/Makefile.am b/src/reg_dumper/Makefile.am
index 8cb29943..80e23b9e 100644
--- a/src/reg_dumper/Makefile.am
+++ b/src/reg_dumper/Makefile.am
@@ -20,8 +20,7 @@ intel_gtt_SOURCES = \
 intel_hotplug_SOURCES = \
 	hotplug.c \
 	reg_dumper.h \
-	xprintf.c \
-	../i830_debug.c
+	xprintf.c
 
 intel_stepping_SOURCES = \
 	stepping.c
diff --git a/src/reg_dumper/hotplug.c b/src/reg_dumper/hotplug.c
index 9cfb59f6..aa0aba3d 100644
--- a/src/reg_dumper/hotplug.c
+++ b/src/reg_dumper/hotplug.c
@@ -124,24 +124,3 @@ int main(int argc, char **argv)
 
 	return 0;
 }
-
-void xf86DrvMsg(int scrnIndex, int severity, const char *format, ...)
-{
-	va_list va;
-
-	switch (severity) {
-	case X_INFO:
-		printf("(II): ");
-		break;
-	case X_WARNING:
-		printf("(WW): ");
-		break;
-	case X_ERROR:
-		printf("(EE): ");
-		break;
-	}
-
-	va_start(va, format);
-	vprintf(format, va);
-	va_end(va);
-}