Limit exposure of non-public microkernel APIs defined by sysgen

Hides the existence of these routines from everyone but the
microkernel's initialization code.

Change-Id: I5dc0a1395c7f01f39d8f283e4f48b0c95578902e
Signed-off-by: Allan Stephens <allan.stephens@windriver.com>
This commit is contained in:
Allan Stephens 2015-05-11 16:03:43 -04:00 committed by Anas Nashif
commit f4e72a4175
3 changed files with 2 additions and 5 deletions

View file

@ -71,8 +71,6 @@ typedef void (*taskabortfunction)(void);
/* Miscellaneous */
extern void kernel_init(void);
extern void init_node(void); /* generated function */
extern void init_drivers(void); /* generated function */
extern PFN_CHANNEL_RWT pKS_Channel_PutWT;
extern PFN_CHANNEL_RWT pKS_Channel_GetWT;

View file

@ -40,7 +40,8 @@
#include <nanokernel/cpu.h>
#endif
extern void init_node(void); /* generated by SYSGEN */
extern void init_node(void); /* defined by sysgen */
extern void init_drivers(void); /* defined by sysgen */
char __noinit _k_server_stack[CONFIG_MICROKERNEL_SERVER_STACK_SIZE];

View file

@ -152,8 +152,6 @@ extern void delist_timeout(struct k_timer *T);
extern void enlist_timeout(struct k_args *A);
extern void force_timeout(struct k_args *A);
extern void init_drivers(void);
/*
* The task status flags may be OR'ed together to form a task's state. The
* existence of one or more non-zero bits indicates that the task can not be