Daniel Leung 43eed86737 microkernel: Rename struct mutex_struct to _k_mutex_struct ... This is in preparation to enable private mutex support. The struct needs to be moved into more visible header so private mutexes can be declared. This also renames according to naming convention to be private kernel objects. Change-Id: Ifccb60a837b44e443be0b091c2df4f06373718fe Signed-off-by: Daniel Leung <daniel.leung@intel.com>		2016-02-05 20:14:46 -05:00
..
k_pipe_buffer.h	Standardize on names for pipe_desc type objects	2016-02-05 20:14:36 -05:00
k_pipe_util.h	Revise 'channel' comments in microkernel's pipe code	2016-02-05 20:14:37 -05:00
kernel_main.h	microkernel: remove kernel service dispatch table	2016-02-05 20:14:46 -05:00
micro_private_types.h	microkernel: Rename struct mutex_struct to _k_mutex_struct	2016-02-05 20:14:46 -05:00
micro_private.h	Redefine microkernel mutex object identifier type	2016-02-05 20:14:46 -05:00