We probably ought not to call INT13 with interrupts disabled.
authorMichael Brown <mcb30@etherboot.org>
Tue, 10 Jul 2007 03:32:30 +0000 (04:32 +0100)
committerMichael Brown <mcb30@etherboot.org>
Tue, 10 Jul 2007 03:32:30 +0000 (04:32 +0100)
src/arch/i386/interface/pcbios/int13.c

index 27a033b..0205d36 100644 (file)
@@ -646,6 +646,7 @@ int int13_boot ( unsigned int drive ) {
                                           "pushw $0\n\t"
                                           "popw %%es\n\t"
                                           "stc\n\t"
+                                          "sti\n\t"
                                           "int $0x13\n\t"
                                           "sti\n\t" /* BIOS bugs */
                                           "jc 1f\n\t"