summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--device/ds_routines.c2
-rw-r--r--device/intr.c4
2 files changed, 3 insertions, 3 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c
index 36a8437e..28be3467 100644
--- a/device/ds_routines.c
+++ b/device/ds_routines.c
@@ -345,7 +345,7 @@ ds_device_intr_register (device_t dev, int id,
return D_NO_MEMORY;
// TODO The original port should be replaced
- // when the same device driver calls it again,
+ // when the same device driver calls it again,
// in order to handle the case that the device driver crashes and restarts.
err = install_user_intr_handler (&irqtab, id, flags, e);
if (err == D_SUCCESS)
diff --git a/device/intr.c b/device/intr.c
index 76e2f365..17a673b3 100644
--- a/device/intr.c
+++ b/device/intr.c
@@ -158,7 +158,7 @@ intr_thread (void)
int id;
ipc_port_t dst_port;
queue_init (&main_intr_queue);
-
+
for (;;)
{
assert_wait ((event_t) &intr_thread, FALSE);
@@ -251,7 +251,7 @@ deliver_intr (int id, mach_msg_id_t msgh_id, ipc_port_t dst_port)
return FALSE;
kmsg = ikm_alloc(sizeof *n);
- if (kmsg == IKM_NULL)
+ if (kmsg == IKM_NULL)
return FALSE;
ikm_init(kmsg, sizeof *n);