diff --git a/arch/arm/kernel/arch_timer.c b/arch/arm/kernel/arch_timer.c index 36ebcf4b516f291be14c7943764a41728a12c912..d957a51435d808eb73743886a888e356b00f0bf2 100644 --- a/arch/arm/kernel/arch_timer.c +++ b/arch/arm/kernel/arch_timer.c @@ -10,6 +10,7 @@ */ #include #include +#include #include #include