From 274a5023c283edcde321b95462a9ad06045d0df4 Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Fri, 10 Jul 2020 00:21:59 +0200 Subject: typo --- device/ds_routines.c | 2 +- device/intr.c | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/device/ds_routines.c b/device/ds_routines.c index af9c7617..78ff51fe 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 6ef9d6ec..fbb9f495 100644 --- a/device/intr.c +++ b/device/intr.c @@ -154,7 +154,7 @@ intr_thread (void) int id; ipc_port_t dst_port; queue_init (&main_intr_queue); - + for (;;) { assert_wait ((event_t) &intr_thread, FALSE); @@ -247,7 +247,7 @@ deliver_intr (int 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); -- cgit v1.2.3