Fix more reds.

Change-Id: I4b58dda0953b7f9799238c32b78037b0a5403c04

firmware/drivers/audio/wm8758.c

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

firmware/drivers/audio/wm8975.c

@@ -25,8 +25,10 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "logf.h"
 #include "system.h"
+#include "kernel.h"
 #include "string.h"
 #include "audio.h"
 #include "sound.h"

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

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

firmware/target/arm/imx31/gigabeat-s/backlight-gigabeat-s.c

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

firmware/target/arm/imx31/gigabeat-s/fmradio-i2c-gigabeat-s.c

@@ -19,14 +19,16 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "config.h"
 #include "system.h"
+#include "kernel.h"
+#include "thread.h"
 #include "mc13783.h"
 #include "iomuxc-imx31.h"
 #include "gpio-imx31.h"
 #include "i2c-imx31.h"
 #include "fmradio_i2c.h"
-#include "thread.h"
 #include "rds.h"
 #include "tuner.h"
 

firmware/target/arm/imx31/gigabeat-s/lcd-gigabeat-s.c

@@ -18,11 +18,13 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #ifdef BOOTLOADER
 #include <string.h> /* memset */
 #endif
 #include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "lcd.h"
 #include "lcd-target.h"
 #include "backlight-target.h"

firmware/target/arm/imx31/gigabeat-s/powermgmt-gigabeat-s.c

@@ -18,9 +18,11 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include <stdlib.h>
 #include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "thread.h"
 #include "mc13783.h"
 #include "adc.h"

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

@@ -23,7 +23,6 @@
 
 #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/imx31/i2c-imx31.h

@@ -22,6 +22,7 @@
 #define I2C_IMX31_H
 
 #include <stdbool.h>
+#include "semaphore.h"
 
 /* I2C module usage masks */
 #define USE_I2C1_MODULE         (1 << 0)

firmware/target/arm/pbell/vibe500/button-vibe500.c

@@ -21,6 +21,7 @@
  ****************************************************************************/
 
 #include "system.h"
+#include "kernel.h"
 #include "button.h"
 #include "backlight.h"
 #include "powermgmt.h"

lib/rbcodec/test/warble.c

@@ -625,13 +625,7 @@ static void ci_logf(const char *fmt, ...)
 }
 #endif
 
-static void ci_yield(void)
-{
-}
-
-static void commit_dcache(void) {}
-static void commit_discard_dcache(void) {}
-static void commit_discard_idcache(void) {}
+static void stub_void_void(void) { }
 
 static struct codec_api ci = {
 
@@ -654,7 +648,7 @@ static struct codec_api ci = {
     ci_should_loop,
 
     ci_sleep,
-    ci_yield,
+    stub_void_void, /* yield */
 
 #if NUM_CORES > 1
     ci_create_thread,
@@ -665,9 +659,9 @@ static struct codec_api ci = {
     ci_semaphore_release,
 #endif
 
-    commit_dcache,
-    commit_discard_dcache,
-    commit_discard_idcache,
+    stub_void_void, /* commit_dcache */
+    stub_void_void, /* commit_discard_dcache */
+    stub_void_void, /* commit_discard_idcache */
 
     /* strings and memory */
     strcpy,