6 * The "exit via INT 19" exit path.
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
17 * @v ix86 i386 register values to be loaded on exit
21 * Exit back to the BIOS by switching to real mode, reloading the
22 * registers as they were before Etherboot started, and executing INT
25 * @bug Not yet implemented
28 void exit_via_int19 ( struct i386_all_regs *ix86 ) {