From 1df49ec846a8d4f7ec07a36af7ffbdf0f30ecfae Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Wed, 22 May 2024 22:54:59 +0200 Subject: [PATCH] trivial: fix comment Signed-off-by: Axel Heider --- apps/sel4test-driver/src/timer.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apps/sel4test-driver/src/timer.h b/apps/sel4test-driver/src/timer.h index 5fd0d9bf..100271af 100644 --- a/apps/sel4test-driver/src/timer.h +++ b/apps/sel4test-driver/src/timer.h @@ -11,7 +11,7 @@ #define TIMER_ID 0 -/* Timing related functions used only by in sel4test-driver */ +/* Timing related functions used only within sel4test-driver */ void handle_timer_interrupts(driver_env_t env, seL4_Word badge); void wait_for_timer_interrupt(driver_env_t env); void timeout(driver_env_t env, uint64_t ns, timeout_type_t timeout);