Daniel Leung a77808462e Redefine microkernel memory map object identifier type ... The opaque memory map object id type is now a pointer to the associated memory map structure, rather than an index into the microkernel's array of memory map structures. This change is a pre-requisite to support for private memory map objects, which are defined in source code. Change-Id: I82ecb59eeed00efa54f781f775710c92ff9c9fc9 Signed-off-by: Daniel Leung <daniel.leung@intel.com>		2016-02-05 20:15:18 -05:00
..
k_pipe_buffer.h	microkernel: redefine pipe object identifier type	2016-02-05 20:15:18 -05:00
k_pipe_util.h	microkernel: redefine pipe object identifier type	2016-02-05 20:15:18 -05:00
kernel_main.h	microkernel: remove kernel service dispatch table	2016-02-05 20:14:46 -05:00
micro_private_types.h	Redefine microkernel memory map object identifier type	2016-02-05 20:15:18 -05:00
micro_private.h	Redefine microkernel memory map object identifier type	2016-02-05 20:15:18 -05:00