From e5be7e7322893522279eaa76049a17ac551d0384 Mon Sep 17 00:00:00 2001 From: Henrik Akira Karlsson Date: Mon, 6 Nov 2023 13:27:19 +0100 Subject: [PATCH] Formatting --- kernel/src/sched.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/kernel/src/sched.c b/kernel/src/sched.c index 483d4d01..2c608d36 100644 --- a/kernel/src/sched.c +++ b/kernel/src/sched.c @@ -107,7 +107,8 @@ static proc_t *sched_fetch(uint64_t hartid, uint64_t *start_time, if (!proc_acquire(p)) return NULL; #if !defined(NDEBUG) && VERBOSE > 1 - alt_printf("> sched(hart=0x%X,pid=0x%X,slot=0x%X)\n", hartid, si.pid, slot % S3K_SLOT_CNT); + alt_printf("> sched(hart=0x%X,pid=0x%X,slot=0x%X)\n", hartid, si.pid, + slot % S3K_SLOT_CNT); #endif *start_time = slot * S3K_SLOT_LEN; *end_time = (slot + si.length) * S3K_SLOT_LEN - S3K_SCHED_TIME;