|  | @@ -1,31 +0,0 @@
 | 
		
	
		
			
			| 1 |  | -#include "bochs.h"
 | 
		
	
		
			
			| 2 |  | -#include "realmode.h"
 | 
		
	
		
			
			| 3 |  | -
 | 
		
	
		
			
			| 4 |  | -/** @file
 | 
		
	
		
			
			| 5 |  | - *
 | 
		
	
		
			
			| 6 |  | - * The "exit via INT 19" exit path.
 | 
		
	
		
			
			| 7 |  | - *
 | 
		
	
		
			
			| 8 |  | - * INT 19 is the old (pre-BBS) "boot system" interrupt.  It is
 | 
		
	
		
			
			| 9 |  | - * conventionally used now to return from a failed boot from floppy
 | 
		
	
		
			
			| 10 |  | - * disk.
 | 
		
	
		
			
			| 11 |  | - *
 | 
		
	
		
			
			| 12 |  | - */
 | 
		
	
		
			
			| 13 |  | -
 | 
		
	
		
			
			| 14 |  | -/**
 | 
		
	
		
			
			| 15 |  | - * Exit via INT19
 | 
		
	
		
			
			| 16 |  | - *
 | 
		
	
		
			
			| 17 |  | - * @v ix86		i386 register values to be loaded on exit
 | 
		
	
		
			
			| 18 |  | - * @ret Never		-
 | 
		
	
		
			
			| 19 |  | - * @err None		-
 | 
		
	
		
			
			| 20 |  | - *
 | 
		
	
		
			
			| 21 |  | - * Exit back to the BIOS by switching to real mode, reloading the
 | 
		
	
		
			
			| 22 |  | - * registers as they were before Etherboot started, and executing INT
 | 
		
	
		
			
			| 23 |  | - * 19.
 | 
		
	
		
			
			| 24 |  | - *
 | 
		
	
		
			
			| 25 |  | - * @bug Not yet implemented
 | 
		
	
		
			
			| 26 |  | - *
 | 
		
	
		
			
			| 27 |  | - */
 | 
		
	
		
			
			| 28 |  | -void exit_via_int19 ( __unused struct i386_all_regs *ix86 ) {
 | 
		
	
		
			
			| 29 |  | -	bochsbp();
 | 
		
	
		
			
			| 30 |  | -	/* Placeholder */
 | 
		
	
		
			
			| 31 |  | -}
 |