Report signal number instead of vector number

1 files changed, 6 insertions, 1 deletions

diff --git a/x86/gdbstub_sys.c b/x86/gdbstub_sys.c
index 8919c21..a73bc52 100644
--- a/x86/gdbstub_sys.c
+++ b/x86/gdbstub_sys.c
@@ -175,7 +175,12 @@ void dbg_interrupt(struct dbg_interrupt_state *istate)
 {
 	dbg_sys_memset(&dbg_state.registers, 0, sizeof(dbg_state.registers));
 
-	dbg_state.signum = istate->vector;
+	/* Translate vector to signal */
+	switch (istate->vector) {
+	case 1:  dbg_state.signum = 5; break;
+	case 3:  dbg_state.signum = 5; break;
+	default: dbg_state.signum = 7;
+	}
 
 	/* Load Registers */
 	dbg_state.registers[DBG_CPU_I386_REG_EAX] = istate->eax;