From 79238335b0388a1fbd1f3033da19072702500dbc Mon Sep 17 00:00:00 2001
From: Marty Connor <mdc@etherboot.org>
Date: Tue, 3 Jul 2007 16:24:06 -0400
Subject: [PATCH] remove obsolete file:  src/arch/i386/prefix/int19exit.c

---
 src/arch/i386/prefix/int19exit.c | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100644 src/arch/i386/prefix/int19exit.c

diff --git a/src/arch/i386/prefix/int19exit.c b/src/arch/i386/prefix/int19exit.c
deleted file mode 100644
index 1c7147bd..00000000
--- 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 */
-}