From 7b9d0458105831a79d211f1ca98a184adedf82f5 Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Mon, 21 Dec 2009 23:00:13 +0100 Subject: Add a SoftDebugger function * kern/debug.h (SoftDebugger): Add prototype. * kern/debug.c (Debugger): Move code invoking debugging trap to... (SoftDebugger): ... new function. Print the passed message. * kern/lock_mon.c (decl_simple_lock_data, retry_bit_lock): Call SoftDebugger instead of Debugger. * device/ds_routines.c (ds_device_open, device_read, device_read_inband): Call SoftDebugger instead of Debugger. * i386/i386at/model_dep.c (c_boot_entry): Call SoftDebugger instead of Debugger. * kern/syscall_sw.c (null_port, kern_invalid): Call SoftDebugger instead of Debugger. * vm/vm_object.c (vm_object_collapse): Call SoftDebugger instead of Debugger. --- device/ds_routines.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'device') diff --git a/device/ds_routines.c b/device/ds_routines.c index 5b57338..d0f0879 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -147,7 +147,7 @@ ds_device_open (ipc_port_t open_port, ipc_port_t reply_port, if (! IP_VALID (reply_port)) { printf ("ds_* invalid reply port\n"); - Debugger ("ds_* reply_port"); + SoftDebugger ("ds_* reply_port"); return MIG_NO_REPLY; } @@ -1092,7 +1092,7 @@ device_read(device, reply_port, reply_port_type, mode, recnum, */ if (!IP_VALID(reply_port)) { printf("ds_* invalid reply port\n"); - Debugger("ds_* reply_port"); + SoftDebugger("ds_* reply_port"); return (MIG_NO_REPLY); /* no sense in doing anything */ } @@ -1174,7 +1174,7 @@ device_read_inband(device, reply_port, reply_port_type, mode, recnum, */ if (!IP_VALID(reply_port)) { printf("ds_* invalid reply port\n"); - Debugger("ds_* reply_port"); + SoftDebugger("ds_* reply_port"); return (MIG_NO_REPLY); /* no sense in doing anything */ } -- cgit v1.2.3