--- /tmp/prcs.c 2008-05-15 20:35:49.946802023 +0200 +++ dsplink_1_50/dsplink/gpp/src/osal/Linux/prcs.c 2008-05-15 20:36:01.386858569 +0200 @@ -17,6 +17,7 @@ /* ----------------------------------- OS Specific Headers */ #include +#include #include #include #include --- /tmp/mem.c 2008-06-22 16:05:16.000000000 +0200 +++ dsplink_1_50/dsplink/gpp/src/osal/Linux/2.6.18/mem.c 2008-06-22 16:05:43.000000000 +0200 @@ -16,6 +16,7 @@ /* ----------------------------------- OS Specific Headers */ + #include #include #if (defined(DM642_PCI) || defined (DM64LC_PCI)) @@ -31,6 +32,7 @@ #endif /* if (defined(DM642_PCI) || defined (DM64LC_PCI)) */ #include #include +#include /* ----------------------------------- DSP/BIOS Link */ #include --- /tmp/hal_intgen.c 2008-06-29 23:42:05.000000000 +0200 +++ dsplink_1_51_00_08/dsplink/gpp/src/ldrv/HAL/OMAP/3530/hal_intgen.c 2008-06-29 23:42:18.000000000 +0200 @@ -17,6 +17,7 @@ /* ----------------------------------- OS headers */ +#include #include /* ----------------------------------- DSP/BIOS Link */ --- /tmp/hal_prcm.c 2008-06-29 23:42:05.000000000 +0200 +++ dsplink_1_51_00_08/dsplink/gpp/src/ldrv/HAL/OMAP/3530/hal_prcm.c 2008-06-29 23:43:10.000000000 +0200 @@ -18,6 +18,7 @@ /* ----------------------------------- OS headers */ +#include #include /* ----------------------------------- DSP/BIOS Link */