diff --git a/arch/arc/timer/arcv2_timer0.c b/arch/arc/timer/arcv2_timer0.c index 02f14831191..3b9bbb7abee 100644 --- a/arch/arc/timer/arcv2_timer0.c +++ b/arch/arc/timer/arcv2_timer0.c @@ -45,7 +45,7 @@ The ARCv2 processor timer provides a 32-bit incrementing, wrap-to-zero counter. #include #include #include -#include +#include #include /* diff --git a/arch/arm/timer/systick.c b/arch/arm/timer/systick.c index 6232630949b..d490423f3be 100644 --- a/arch/arm/timer/systick.c +++ b/arch/arm/timer/systick.c @@ -55,7 +55,7 @@ conjunction with a microkernel. #include #include #include -#include +#include #include #ifdef CONFIG_MICROKERNEL diff --git a/drivers/timer/hpet.c b/drivers/timer/hpet.c index 17aad2282b0..f4c4da933b6 100644 --- a/drivers/timer/hpet.c +++ b/drivers/timer/hpet.c @@ -67,7 +67,7 @@ In a nanokernel-only system this device driver omits more complex capabilities #include #include #include -#include +#include #include #ifdef CONFIG_MICROKERNEL diff --git a/drivers/timer/i8253.c b/drivers/timer/i8253.c index 6376ddf5095..2f3b9c6124f 100644 --- a/drivers/timer/i8253.c +++ b/drivers/timer/i8253.c @@ -53,7 +53,7 @@ directly invoke the VIOAPIC APIs to configure/unmask the IRQ. #include #include #include -#include +#include #include #ifdef CONFIG_MICROKERNEL diff --git a/drivers/timer/loapic_timer.c b/drivers/timer/loapic_timer.c index f1f16be07b5..6892c7a2ba8 100644 --- a/drivers/timer/loapic_timer.c +++ b/drivers/timer/loapic_timer.c @@ -46,7 +46,7 @@ After reset, the timer is initialized to zero. #include #include #include -#include +#include #include #include /* LOAPIC registers */ diff --git a/include/microkernel/ticks.h b/include/microkernel/ticks.h index 8843f035ab3..48313d17ca3 100644 --- a/include/microkernel/ticks.h +++ b/include/microkernel/ticks.h @@ -34,7 +34,7 @@ #define TICKS_H #include -#include +#include /* externs */ diff --git a/include/nanokernel.h b/include/nanokernel.h index 1a574726041..267601169cd 100644 --- a/include/nanokernel.h +++ b/include/nanokernel.h @@ -42,7 +42,7 @@ /* generic kernel public APIs */ #include -#include +#include #include #ifdef __cplusplus diff --git a/include/clock_vars.h b/include/sys_clock.h similarity index 97% rename from include/clock_vars.h rename to include/sys_clock.h index ed572869678..db630bdd8fa 100644 --- a/include/clock_vars.h +++ b/include/sys_clock.h @@ -37,8 +37,8 @@ Declare variables used by both system timer device driver and kernel components that use timer functionality. */ -#ifndef _CLOCK_VARS__H_ -#define _CLOCK_VARS__H_ +#ifndef _SYS_CLOCK__H_ +#define _SYS_CLOCK__H_ #ifndef _ASMLANGUAGE #include @@ -82,4 +82,4 @@ extern struct nano_timer *_nano_timer_list; #endif /* !_ASMLANGUAGE */ -#endif /* _CLOCK_VARS__H_ */ +#endif /* _SYS_CLOCK__H_ */ diff --git a/kernel/nanokernel/int_latency_bench.c b/kernel/nanokernel/int_latency_bench.c index 0023e475afb..68a3bcc330b 100644 --- a/kernel/nanokernel/int_latency_bench.c +++ b/kernel/nanokernel/int_latency_bench.c @@ -37,7 +37,7 @@ #include /* uint32_t */ #include /* ULONG_MAX */ #include /* printk */ -#include +#include #include #define NB_CACHE_WARMING_DRY_RUN 7 diff --git a/kernel/nanokernel/nano_sys_clock.c b/kernel/nanokernel/nano_sys_clock.c index 95672d639f1..07424992ebc 100644 --- a/kernel/nanokernel/nano_sys_clock.c +++ b/kernel/nanokernel/nano_sys_clock.c @@ -215,7 +215,7 @@ static inline void handle_expired_nano_timeouts(int ticks) /* handle the expired nano timers in the nano timers queue */ #ifdef CONFIG_NANO_TIMERS -#include +#include static inline void handle_expired_nano_timers(int ticks) { if (_nano_timer_list) {