summaryrefslogtreecommitdiff
path: root/device
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2009-12-21 23:00:13 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2009-12-21 23:00:13 +0100
commit7b9d0458105831a79d211f1ca98a184adedf82f5 (patch)
tree4d4bd7a0b764b1bd36c919d0fc528cc625de6f5a /device
parenteec36e70c95490b5ffd73e1b3c90289e38fa3127 (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.c6
1 files changed, 3 insertions, 3 deletions
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 */
}