diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2009-12-21 23:00:13 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2009-12-21 23:00:13 +0100 |
| commit | 7b9d0458105831a79d211f1ca98a184adedf82f5 (patch) | |
| tree | 4d4bd7a0b764b1bd36c919d0fc528cc625de6f5a /device | |
| parent | eec36e70c95490b5ffd73e1b3c90289e38fa3127 (diff) | |
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.
Diffstat (limited to 'device')
| -rw-r--r-- | device/ds_routines.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c index 5b573389..d0f0879d 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 */ } |