Relocate misplaced items in main microkernel API include file

1) Eliminates declaration of variables that are already being
   included by a microkernel subsystem include file.
2) Eliminates duplicate declaration of timer_driver().
3) Moves definition of well-known events to the event-specific
   include file.
4) Moves declaration of a task-related routine to the task-specific
   include file.
5) Moves declarations that are only needed by kernel_main.c
   to kernel_main.h.

Change-Id: I6f387915a5ce208879482522586b977118f657e7
Signed-off-by: Allan Stephens <allan.stephens@windriver.com>

include/microkernel.h

@@ -61,21 +61,6 @@ extern "C" {
 #define MON_EVENT 8
 #define MON_ALL 15
 
-extern int task_offload_to_fiber(int (*)(), void *);
-
-/* The following two typedefs are used in kernel_main.c */
-typedef void (*taskstartfunction)(void);
-typedef void (*taskabortfunction)(void);
-
-extern PFN_CHANNEL_RWT pKS_Channel_PutWT;
-extern PFN_CHANNEL_RWT pKS_Channel_GetWT;
-
-/* needed by generated kernel_main.c */
-extern void	timer_driver(int priority);
-
-/* common event numbers */
-#define TICK_EVENT	0
-
 #ifdef __cplusplus
 }
 #endif

include/microkernel/event.h

@@ -39,6 +39,11 @@ extern "C" {
 
 #include <microkernel/cmdPkt.h>
 
+/* well-known events */
+
+#define TICK_EVENT	0
+
+
 extern void isr_event_send(kevent_t event);
 extern void fiber_event_send(kevent_t event);
 extern int task_event_set_handler(kevent_t event, kevent_handler_t handler);

include/microkernel/task.h

@@ -61,6 +61,8 @@ extern void task_priority_set(ktask_t task, kpriority_t prio);
 extern void task_entry_set(ktask_t task, void (*func)(void));
 extern void task_abort_handler_set(void (*func)(void));
 
+extern int task_offload_to_fiber(int (*)(), void *);
+
 /*
  * Operations supported by _task_ioctl() and _task_group_ioctl()
  */

kernel/microkernel/include/kernel_main.h

@@ -39,6 +39,11 @@
 extern "C" {
 #endif
 
+/* Format of a task's entry routine and (optional) abort routine */
+
+typedef void (*taskstartfunction)(void);
+typedef void (*taskabortfunction)(void);
+
 /* APIs referenced by generated routines */
 
 extern void _pipe_init(void);

scripts/sysgen.py

@@ -304,6 +304,7 @@ def kernel_main_c_header():
         do_not_edit_warning +
         "\n" +
         "#include <vxmicro.h>\n" +
+        "#include <drivers/system_timer.h>\n" +
         "#include <kernel_main.h>\n" +
         "#include <toolchain.h>\n" +
         "#include <sections.h>\n")