From 6232a85059532b5bf8c21817eb8468e8abc0a3b1 Mon Sep 17 00:00:00 2001 From: Peter Mitsis Date: Mon, 25 May 2015 15:34:18 -0400 Subject: [PATCH] Fix closing CONFIG_MICROKERNEL block comments Closing comments to two CONFIG_MICROKERNEL ifdef blocks incorrectly identified the ifdef block as NOT belonging to the microkernel. Change-Id: Iee415e33d7f8a88c41009c5783b37da3a431461b Signed-off-by: Peter Mitsis --- arch/x86/timer/hpet.c | 2 +- drivers/timer/i8253.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/arch/x86/timer/hpet.c b/arch/x86/timer/hpet.c index 31e7646ca98..99756f34aae 100644 --- a/arch/x86/timer/hpet.c +++ b/arch/x86/timer/hpet.c @@ -82,7 +82,7 @@ extern struct nano_stack _k_command_stack; #define TIMER_SUPPORTS_TICKLESS #endif -#endif /* CONFIG_NANOKERNEL */ +#endif /* CONFIG_MICROKERNEL */ /* * A board support package's board.h header must provide definitions for the diff --git a/drivers/timer/i8253.c b/drivers/timer/i8253.c index 3d3055c2459..b148b8996ac 100644 --- a/drivers/timer/i8253.c +++ b/drivers/timer/i8253.c @@ -155,7 +155,7 @@ static uint32_t old_accumulated_count = 0; /* previous accumulated value value * #ifdef CONFIG_MICROKERNEL extern struct nano_stack _k_command_stack; -#endif /* ! CONFIG_MICROKERNEL */ +#endif /* CONFIG_MICROKERNEL */ /******************************************************************************* *