michaelh/zephyr
1
0
Fork 0
Code Releases Activity

Limit exposure of non-public microkernel variables

Browse source 
Hides the existence of these variables from everyone but the
microkernel itself.

Change-Id: I03854f8fcfbd798f5cf1795fc8c261e6a31a9067
Signed-off-by: Allan Stephens <allan.stephens@windriver.com>
This commit is contained in:
Allan Stephens 2015-05-11 16:00:22 -04:00 • committed by Anas Nashif
commit 3c36c425f6
1 changed files with 0 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
include/microkernel.h
View file

@ -74,12 +74,6 @@ extern void kernel_init(void);
extern void init_node(void); /* generated function */
extern void init_drivers(void); /* generated function */
extern int _k_task_count;
extern int _k_mem_map_count;
extern int _k_mem_pool_count;
extern int _k_pipe_count;
extern const int _k_num_events;
extern PFN_CHANNEL_RWT pKS_Channel_PutWT;
extern PFN_CHANNEL_RWT pKS_Channel_GetWT;