We probably ought not to call INT13 with interrupts disabled.
[people/sha0/gpxe.git] / 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"