From 33fd97e19a12535c02b1cf6804cb854a279e040c Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sun, 23 May 2021 14:30:07 +0200 Subject: Cleanup, linting, formatting --- kernel/drivers/timer.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'kernel/drivers/timer.c') diff --git a/kernel/drivers/timer.c b/kernel/drivers/timer.c index c586088..3ddc229 100644 --- a/kernel/drivers/timer.c +++ b/kernel/drivers/timer.c @@ -1,13 +1,13 @@ // MIT License, Copyright (c) 2020 Marvin Borner -#include #include +#include #include +#include +#include #include #include #include -#include -#include static u32 timer_ticks = 0; PROTECTED static u8 call_scheduler = 0; -- cgit v1.2.3