1 files changed, 0 insertions, 31 deletions
diff --git a/src/arch/i386/prefix/int19exit.c b/src/arch/i386/prefix/int19exit.c
deleted file mode 100644
index 1c7147bdc..000000000
--- a/src/arch/i386/prefix/int19exit.c
+++ /dev/null
@@ -1,31 +0,0 @@
-#include "bochs.h"
-#include "realmode.h"
-
-/** @file
- *
- * The "exit via INT 19" exit path.
- *
- * INT 19 is the old (pre-BBS) "boot system" interrupt.  It is
- * conventionally used now to return from a failed boot from floppy
- * disk.
- *
- */
-
-/**
- * Exit via INT19
- *
- * @v ix86		i386 register values to be loaded on exit
- * @ret Never		-
- * @err None		-
- *
- * Exit back to the BIOS by switching to real mode, reloading the
- * registers as they were before Etherboot started, and executing INT
- * 19.
- *
- * @bug Not yet implemented
- *
- */
-void exit_via_int19 ( __unused struct i386_all_regs *ix86 ) {
-	bochsbp();
-	/* Placeholder */
-}