X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmisc%2Fbochs-2.2.6-page-fault-segv.patch;h=7c61a375060504e4103be65377cbc9542519494b;hb=38e1ff2edf63096a8ce642cc727564074cdc7740;hp=81e59a7170d27376fc9fd484ae2a064c2bd7f0b7;hpb=0951a7af1bd8e78b5991edd7de9d0370b2d2d72b;p=pintos-anon diff --git a/src/misc/bochs-2.2.6-page-fault-segv.patch b/src/misc/bochs-2.2.6-page-fault-segv.patch index 81e59a7..7c61a37 100644 --- a/src/misc/bochs-2.2.6-page-fault-segv.patch +++ b/src/misc/bochs-2.2.6-page-fault-segv.patch @@ -2,11 +2,14 @@ Index: bochs-2.2.6/cpu/exception.cc diff -u bochs-2.2.6/cpu/exception.cc\~ bochs-2.2.6/cpu/exception.cc --- bochs-2.2.6/cpu/exception.cc~ 2006-09-28 15:51:39.000000000 -0700 +++ bochs-2.2.6/cpu/exception.cc 2006-12-08 11:14:33.000000000 -0800 -@@ -1033,6 +1033,7 @@ void BX_CPU_C::exception(unsigned vector +@@ -1033,6 +1033,10 @@ void BX_CPU_C::exception(unsigned vector BX_CPU_THIS_PTR curr_exception[0] = exception_type; } ++#if BX_GDBSTUB + bx_gdbstub_exception(vector); ++#endif ++ #if BX_CPU_LEVEL >= 2 if (!real_mode()) { BX_CPU_THIS_PTR interrupt(vector, 0, push_error, error_code);