Daniel Leung 1036aee613 microkernel: Rename struct sem_struct to _k_sem_struct ... This is in preparation to enable private semaphore support. The struct needs to be moved into more visible header so private semaphores can be declared. This also renames according to naming convention to be private kernel objects. Change-Id: I84ac7d580404ac5e1753c1bd446d38993fd23310 Signed-off-by: Daniel Leung <daniel.leung@intel.com>		2016-02-05 20:15:18 -05:00
..
k_pipe_buffer.h
k_pipe_util.h
kernel_main.h	microkernel: remove kernel service dispatch table	2016-02-05 20:14:46 -05:00
micro_private_types.h	microkernel: Rename struct sem_struct to _k_sem_struct	2016-02-05 20:15:18 -05:00
micro_private.h	Redefine microkernel semaphore object identifier type	2016-02-05 20:15:18 -05:00