Peter Mitsis 6996d2cc2c k_timer optimization: INVALID_OBJECT can not be returned ... As it is impossible for GETTIMER() to return a NULL pointer, task_timer_alloc() will never return INVALID_OBJECT. Change-Id: I270732f31033d9ce55847dc9324f215680865273 Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>		2016-02-05 20:14:13 -05:00
..
cmdPkt.h
event.h
fifo.h
k_types.h	k_timer optimization: INVALID_OBJECT can not be returned	2016-02-05 20:14:13 -05:00
mail.h
mmap.h
mutex.h
pipe.h	Rename microkernel/chan.h to microkernel/pipe.h	2016-02-05 20:14:00 -05:00
pool.h
sema.h
task_irq.h
task.h
ticks.h	Eliminate exposure of non-public microkernel structures	2016-02-05 20:14:00 -05:00