Allan Stephens ffd802250e Redefine microkernel mutex object identifier type ... The opaque mutex object id type is now a pointer to the associated mutex structure, rather than an index into the microkernel's array of mutex structures. This change is a pre-requisite to support for private mutexes (i.e. mutexes not defined using a project's MDEF file). [DL: fix some whitespace issues.] Change-Id: Ida419f1674df245f51a36d28ca7d4631239f1edd Signed-off-by: Allan Stephens <allan.stephens@windriver.com> 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: remove kernel service dispatch table	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