Add missing kernel.h includes (hopefully all of them).

Change-Id: I9c1825296a788587b8d494d8514b3314847b0ff0

bootloader/rk27xx.c

@@ -1,7 +1,8 @@
 #include <stdio.h>
-#include <system.h>
 #include <inttypes.h>
 #include "config.h"
+#include "system.h"
+#include "kernel.h"
 #include "gcc_extensions.h"
 #include "lcd.h"
 #include "font.h"

firmware/drivers/audio/tlv320.c

@@ -18,9 +18,11 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "config.h"
-#include "logf.h"
 #include "system.h"
+#include "kernel.h"
+#include "logf.h"
 #include "string.h"
 #include "audio.h"
 
@@ -313,4 +315,3 @@ void audiohw_set_monitor(bool enable)
     tlv320_write_reg(REG_PC,  value_pc);
 }
 #endif /* HAVE_RECORDING */
-

firmware/drivers/audio/uda1380.c

@@ -23,6 +23,7 @@
 #include "config.h"
 #include "logf.h"
 #include "system.h"
+#include "kernel.h"
 #include "audio.h"
 #include "debug.h"
 #include "udacodec.h"

firmware/drivers/audio/wm8978.c

@@ -20,8 +20,10 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "audiohw.h"
 #include "wmcodec.h"
 #include "audio.h"

firmware/target/arm/as3525/button-clip.c

@@ -20,7 +20,10 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
+#include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "button.h"
 #include "as3525v2.h"
 #ifndef BOOTLOADER

firmware/target/arm/as3525/button-e200v2-fuze.c

@@ -22,6 +22,7 @@
 
 #include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "button.h"
 #include "backlight.h"
 #include "dbop-as3525.h"
@@ -122,4 +123,3 @@ int button_read_device(void)
 
     return btn;
 }
-

firmware/target/arm/ata-nand-telechips.c

@@ -18,10 +18,12 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
+#include <string.h>
+#include "system.h"
+#include "kernel.h"
 #include "nand.h"
 #include "ata-nand-target.h"
-#include "system.h"
-#include <string.h>
 #include "led.h"
 #include "panic.h"
 #include "nand_id.h"

firmware/target/arm/imx233/adc-imx233.c

@@ -19,8 +19,10 @@
  *
  ****************************************************************************/
 
+#include "config.h"
 #include "adc-target.h"
 #include "system.h"
+#include "kernel.h"
 #include "powermgmt-target.h"
 #include "lradc-imx233.h"
 #include "power-imx233.h"

firmware/target/arm/imx233/audioout-imx233.c

@@ -18,11 +18,15 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
+#include <string.h>
+
+#include "config.h"
+#include "kernel.h"
 #include "audioout-imx233.h"
 #include "clkctrl-imx233.h"
 #include "rtc-imx233.h"
 #include "pcm_sampr.h"
-#include "string.h"
 #include "audio-target.h"
 
 #ifndef IMX233_AUDIO_COUPLING_MODE
@@ -294,4 +298,4 @@ struct imx233_audioout_info_t imx233_audioout_get_info(void)
     info.dac = !BF_RD(AUDIOOUT_PWRDN, DAC);
     info.capless = BF_RD(AUDIOOUT_PWRDN, CAPLESS);
     return info;
-}
+}

firmware/target/arm/imx233/button-lradc-imx233.c

@@ -18,8 +18,12 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
+#include <stdlib.h>
+
+#include "cpu.h"
+#include "kernel.h"
 #include "button-lradc-imx233.h"
-#include "stdlib.h"
 #include "lradc-imx233.h"
 #include "pinctrl-imx233.h"
 

firmware/target/arm/imx233/creative-zen/lcd-zen.c

@@ -18,10 +18,12 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include <sys/types.h> /* off_t */
 #include <string.h>
 #include "cpu.h"
 #include "system.h"
+#include "kernel.h"
 #include "backlight-target.h"
 #include "lcd.h"
 #include "lcdif-imx233.h"
@@ -346,4 +348,3 @@ void lcd_update_rect(int x, int y, int w, int h)
         }
     }
 }
-

firmware/target/arm/imx233/dcp-imx233.c

@@ -18,8 +18,10 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "dcp-imx233.h"
 #include "string.h"
 #include "kernel-imx233.h"
@@ -247,4 +249,4 @@ struct imx233_dcp_info_t imx233_dcp_get_info(unsigned flags)
         info.csc.enable = HW_DCP_CSCCTRL0 & HW_DCP_CSCCTRL0__ENABLE;
     }
     return info;
-}
+}

firmware/target/arm/imx233/debug-imx233.c

@@ -19,7 +19,9 @@
  *
  ****************************************************************************/
 
+#include "cpu.h"
 #include "system.h"
+#include "kernel.h"
 #include "dma-imx233.h"
 #include "lcd.h"
 #include "font.h"

firmware/target/arm/imx233/dma-imx233.c

@@ -18,8 +18,10 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "dma-imx233.h"
 #include "lcd.h"
 #include "string.h"
@@ -287,4 +289,3 @@ struct imx233_dma_info_t imx233_dma_get_info(unsigned chan, unsigned flags)
     s.nr_unaligned = apb_nr_unaligned[chan];
     return s;
 }
-

firmware/target/arm/imx31/gigabeat-s/system-target.h

@@ -23,6 +23,7 @@
 
 #include "system-arm.h"
 #include "mmu-arm.h"
+#include "kernel.h"
 
 /* High enough for most tasks but low enough for reduced voltage */
 #define CPUFREQ_DEFAULT     264000000

firmware/target/arm/rk27xx/ma/audio-ma.c

@@ -19,11 +19,12 @@
  *
  ****************************************************************************/
 
+#include "system.h"
+#include "kernel.h"
 #include "audiohw.h"
 #include "df1704.h"
 #include "pca9555.h"
 #include "i2c-rk27xx.h"
-#include "system.h"
 
 void df1704_set_ml_dir(const int dir)
 {

firmware/target/arm/rk27xx/ma/pca9555-ma.c

@@ -20,6 +20,7 @@
  ****************************************************************************/
 
 #include "system.h"
+#include "kernel.h"
 #include "i2c-rk27xx.h"
 #include "pca9555.h"
 

firmware/target/arm/rk27xx/pcm-rk27xx.c

@@ -19,7 +19,9 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "system.h"
+#include "kernel.h"
 #include "audio.h"
 #include "string.h"
 #include "panic.h"

firmware/target/arm/s3c2440/debug-s3c2440.c

@@ -22,6 +22,7 @@
 #include "config.h"
 #include "cpu.h"
 #include "system.h"
+#include "kernel.h"
 #include "string.h"
 #include <stdbool.h>
 #include "button.h"

firmware/target/arm/s3c2440/i2c-s3c2440.c

@@ -18,7 +18,9 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "system.h"
+#include "kernel.h"
 #include "i2c-s3c2440.h"
 
 static struct semaphore i2c_complete; /* Transfer completion signal */

firmware/target/arm/s3c2440/lcd-s3c2440.c

@@ -19,8 +19,10 @@
 * KIND, either express or implied.
 *
 ****************************************************************************/ 
+
 #include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "lcd.h"
 #include "lcd-target.h"
 

firmware/target/arm/s5l8700/system-target.h

@@ -23,6 +23,7 @@
 
 #include "system-arm.h"
 #include "mmu-arm.h"
+#include "kernel.h"
 
 #define CPUFREQ_SLEEP      32768
 #define CPUFREQ_MAX     (1843200 * 4 * 26 / 1) /* 191692800 Hz */

firmware/target/arm/s5l8702/system-target.h

@@ -23,6 +23,7 @@
 
 #include "system-arm.h"
 #include "mmu-arm.h"
+#include "kernel.h"
 
 #define CPUFREQ_SLEEP      32768
 #define CPUFREQ_MAX     216000000

firmware/target/arm/tcc780x/system-target.h

@@ -23,6 +23,7 @@
 
 #include "system-arm.h"
 #include "mmu-arm.h"
+#include "kernel.h" /* TIME_BEFORE */
 
 #define CPUFREQ_DEFAULT 32000000
 #define CPUFREQ_NORMAL  48000000

firmware/target/arm/tms320dm320/debug-dm320.c

@@ -23,6 +23,7 @@
 #include "config.h"
 #include "cpu.h"
 #include "system.h"
+#include "kernel.h"
 #include "string.h"
 #include <stdbool.h>
 #include "button.h"

firmware/target/arm/tms320dm320/i2c-dm320.c

@@ -21,8 +21,9 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "system.h"
-#include "thread.h"
+#include "kernel.h"
 #include "i2c-dm320.h"
 
 #ifdef HAVE_SOFTWARE_I2C

firmware/target/coldfire/debug-coldfire.c

@@ -19,9 +19,11 @@
  *
  ****************************************************************************/
 
+#include <stdbool.h>
+
 #include "config.h"
 #include "system.h"
-#include <stdbool.h>
+#include "kernel.h"
 #include "font.h"
 #include "lcd.h"
 #include "button.h"

firmware/target/coldfire/iriver/lcd-remote-iriver.c

@@ -21,6 +21,7 @@
 
 #include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "file.h"
 #include "lcd-remote.h"
 #include "adc.h"

firmware/target/sh/archos/player/lcd-player.c

@@ -20,10 +20,11 @@
  *
  ****************************************************************************/
 
-#include "config.h"
 #include <string.h>
-#include "hwcompat.h"
+#include "config.h"
 #include "system.h"
+#include "kernel.h"
+#include "hwcompat.h"
 #include "lcd.h"
 #include "lcd-charcell.h"
 

firmware/target/sh/debug-sh.c

@@ -19,10 +19,12 @@
  *
  ****************************************************************************/
 
-#include "config.h"
-#include "system.h"
 #include <stdbool.h>
 #include <string.h>
+
+#include "config.h"
+#include "system.h"
+#include "kernel.h"
 #include "font.h"
 #include "lcd.h"
 #include "button.h"