Skip to content

Commit

Permalink
Formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
HAKarlsson committed Nov 6, 2023
1 parent d71c0f9 commit e5be7e7
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion kernel/src/sched.c
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down

0 comments on commit e5be7e7

Please sign in to comment.