Benjamin Walsh 8276c32e7c microkernel: rename K_CREF.task to 'task_id' ... This will allow renaming K_CREF.proc to 'task'. It also is really representing a task ID, i.e. the value a user passes to microkernel APIs. Change-Id: If2dd3f1ed5ce93178acd4713ad5497e5b3e0401d Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>		2016-02-05 20:15:27 -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	microkernel: rename K_CREF.task to 'task_id'	2016-02-05 20:15:27 -05:00
micro_private.h	microkernel: rename k_proc to k_task	2016-02-05 20:15:27 -05:00