Do some kernel cleanup

* Seal away private thread and kernel definitions and declarations
into the internal headers in order to better hide internal structure.

* Add a thread-common.c file that keeps shared functions together.
List functions aren't messed with since that's about to be changed to
different ones.

* It is necessary to modify some ARM/PP stuff since GCC was complaining
about constant pool distance and I would rather not force dump it. Just
bl the cache calls in the startup and exit code and let it use veneers
if it must.

* Clean up redundant #includes in relevant areas and reorganize them.

* Expunge useless and dangerous stuff like remove_thread().

Change-Id: I6e22932fad61a9fac30fd1363c071074ee7ab382

1 files changed, 1 insertions, 7 deletions

diff --git a/firmware/kernel/mrsw_lock.c b/firmware/kernel/mrsw_lock.c
index 46ab893622..45c8801b74 100644
--- a/firmware/kernel/mrsw_lock.c
+++ b/firmware/kernel/mrsw_lock.c
@@ -18,12 +18,8 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
-#include <string.h>
-#include "config.h"
-#include "system.h"
-#include "thread.h"
-#include "kernel.h"
 #include "kernel-internal.h"
+#include "mrsw-lock.h"
 
 #ifdef HAVE_PRIORITY_SCHEDULING
 
@@ -45,9 +41,7 @@ mrsw_reader_relinquish(struct mrsw_lock *mrsw, struct thread_entry *current,
        Therefore, if the queue has threads, then the next after the
        owning readers is a writer and this is not the last reader. */
     if (mrsw->queue)
-    {
         corelock_lock(&mrsw->splay.cl);
-    }
 
     threadbit_clear_bit(&mrsw->splay.mask, slotnum);