bartoszek/zephyr
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
6996d2cc2c
zephyr/include/microkernel
History
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 Eliminate public use of non-public command packet structure 2016-02-05 20:14:00 -05:00
event.h Relocate misplaced items in main microkernel API include file 2016-02-05 20:14:00 -05:00
fifo.h Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
k_types.h k_timer optimization: INVALID_OBJECT can not be returned 2016-02-05 20:14:13 -05:00
mail.h Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
mmap.h Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
mutex.h Add argument names to _task_mutex_{lock/unlock} 2016-02-05 20:14:00 -05:00
pipe.h Rename microkernel/chan.h to microkernel/pipe.h 2016-02-05 20:14:00 -05:00
pool.h Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
sema.h Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
task_irq.h Eliminate exposure of non-public task IRQ type definition 2016-02-05 20:14:00 -05:00
task.h Eliminate public use of non-public task structure 2016-02-05 20:14:00 -05:00
ticks.h Eliminate exposure of non-public microkernel structures 2016-02-05 20:14:00 -05:00