1 files changed, 0 insertions, 20 deletions
diff --git a/util/vgabios/inte6.c b/util/vgabios/inte6.c
deleted file mode 100644
index 19b6110067..0000000000
--- a/util/vgabios/inte6.c
+++ /dev/null
@@ -1,20 +0,0 @@
-#include <stdio.h>
-#include "testbios.h"
-
-int intE6_handler(void)
-{
-#if 0
-	pciVideoPtr pvp;
-
-	if ((pvp = xf86GetPciInfoForEntity(pInt->entityIndex)))
-		X86_AX = (pvp->bus << 8) | (pvp->device << 3) | (pvp->func & 0x7);
-	pushw(X86_CS);
-	pushw(X86_IP);
-	X86_CS = pInt->BIOSseg;
-	X86_EIP = 0x0003;
-	X86_ES = 0;		/* standard pc es */
-#endif
-	printf("intE6 not supported right now.\n");
-	x86emu_dump_xregs();
-	return 1;
-}