101 lines
3.0 KiB
Plaintext
101 lines
3.0 KiB
Plaintext
$OpenBSD: patch-debug_dbg_main_cc,v 1.1 2001/02/12 18:19:56 todd Exp $
|
|
--- debug/dbg_main.cc.orig Mon Feb 12 12:10:54 2001
|
|
+++ debug/dbg_main.cc Mon Feb 12 12:08:13 2001
|
|
@@ -561,7 +561,7 @@ bx_dbg_exit(int code)
|
|
bx_dbg_callback[1].atexit();
|
|
#endif
|
|
|
|
- bx_atexit();
|
|
+ bio->atexit();
|
|
|
|
fprintf(stderr, "before exit\n");
|
|
exit(code);
|
|
@@ -832,8 +832,8 @@ bx_dbg_record_command(char* path_quoted)
|
|
if (path_quoted[len - 1] == '"')
|
|
path_quoted[len - 1] = '\0';
|
|
|
|
- bx_dbg.record_io = fopen(path_quoted, "w");
|
|
- if (bx_dbg.record_io)
|
|
+ bio->getdbg().record_io = fopen(path_quoted, "w");
|
|
+ if (bio->getdbg().record_io)
|
|
fprintf(stderr, "IO record file '%s' opened\n", path_quoted);
|
|
else
|
|
fprintf(stderr, "Error opening '%s' for writing\n", path_quoted);
|
|
@@ -1010,31 +1010,31 @@ void bx_dbg_show_command(char* arg)
|
|
dbg_dump_table(0);
|
|
return;
|
|
} else if(!strcmp(arg,"\"dbg-all\"")){
|
|
- bx_dbg.floppy = 1;
|
|
- bx_dbg.keyboard = 1;
|
|
- bx_dbg.video = 1;
|
|
- bx_dbg.disk = 1;
|
|
- bx_dbg.pit = 1;
|
|
- bx_dbg.pic = 1;
|
|
- bx_dbg.bios = 1;
|
|
- bx_dbg.cmos = 1;
|
|
- bx_dbg.a20 = 1;
|
|
- bx_dbg.interrupts = 1;
|
|
- bx_dbg.exceptions = 1;
|
|
- bx_dbg.unsupported = 1;
|
|
- bx_dbg.temp = 1;
|
|
- bx_dbg.reset = 1;
|
|
- bx_dbg.mouse = 1;
|
|
- bx_dbg.io = 1;
|
|
- bx_dbg.debugger = 1;
|
|
- bx_dbg.xms = 1;
|
|
- bx_dbg.v8086 = 1;
|
|
- bx_dbg.paging = 1;
|
|
- bx_dbg.creg = 1;
|
|
- bx_dbg.dreg = 1;
|
|
- bx_dbg.dma = 1;
|
|
- bx_dbg.unsupported_io = 1;
|
|
- /* bx_dbg.record_io = 1; this is a pointer .. somewhere */
|
|
+ bio->getdbg().floppy = 1;
|
|
+ bio->getdbg().keyboard = 1;
|
|
+ bio->getdbg().video = 1;
|
|
+ bio->getdbg().disk = 1;
|
|
+ bio->getdbg().pit = 1;
|
|
+ bio->getdbg().pic = 1;
|
|
+ bio->getdbg().bios = 1;
|
|
+ bio->getdbg().cmos = 1;
|
|
+ bio->getdbg().a20 = 1;
|
|
+ bio->getdbg().interrupts = 1;
|
|
+ bio->getdbg().exceptions = 1;
|
|
+ bio->getdbg().unsupported = 1;
|
|
+ bio->getdbg().temp = 1;
|
|
+ bio->getdbg().reset = 1;
|
|
+ bio->getdbg().mouse = 1;
|
|
+ bio->getdbg().io = 1;
|
|
+ bio->getdbg().debugger = 1;
|
|
+ bio->getdbg().xms = 1;
|
|
+ bio->getdbg().v8086 = 1;
|
|
+ bio->getdbg().paging = 1;
|
|
+ bio->getdbg().creg = 1;
|
|
+ bio->getdbg().dreg = 1;
|
|
+ bio->getdbg().dma = 1;
|
|
+ bio->getdbg().unsupported_io = 1;
|
|
+ /* bio->getdbg().record_io = 1; this is a pointer .. somewhere */
|
|
printf("Turned on all bx_dbg flags\n");
|
|
return;
|
|
} else {
|
|
@@ -1089,7 +1089,7 @@ enter_playback_entry()
|
|
last_playback_time = time;
|
|
|
|
if (diff < 0) {
|
|
- bx_panic("Negative diff in playback");
|
|
+ bio->panic("Negative diff in playback");
|
|
} else if (diff == 0) {
|
|
playback_entry.trigger();
|
|
} else {
|
|
@@ -3184,8 +3184,8 @@ bx_dbg_doit_command(unsigned n)
|
|
|
|
|
|
|
|
- bx_dbg.interrupts = n;
|
|
- bx_dbg.exceptions = n;
|
|
+ bio->getdbg().interrupts = n;
|
|
+ bio->getdbg().exceptions = n;
|
|
}
|
|
|
|
void
|