zephyr/kernel/microkernel
Allan Stephens b31f1d2b5e Allow semaphores to support tickless kernel
Revises microkernel semaphore (and semaphore group) code so that
it properly handles the case where the kernel does not have timer
support.

Note: Semaphore code has some commands and routines whose names
imply that they are used only in cases where a timeout occurs,
even though they can be used in non-timeout scenarios too!

Change-Id: I6747032dd215f9b98e9d7d971e4b3ff32fbd7e55
Signed-off-by: Allan Stephens <allan.stephens@windriver.com>
2016-02-05 20:13:49 -05:00
..
channel Renaming K_mvdreq to _k_movedata_request 2016-02-05 20:13:48 -05:00
core Introduce NUM_TASK_PRIORITIES configuration option 2016-02-05 20:13:48 -05:00
include Remove most references to LITE symbol 2016-02-05 20:13:49 -05:00
movedata Renaming K_mvdreq to _k_movedata_request 2016-02-05 20:13:48 -05:00
timer Renaming k_timer.Tr to k_timer.period 2016-02-05 20:13:49 -05:00
defs.objs First commit 2015-04-10 16:44:37 -07:00
idle.c Renaming k_timer.Ti to k_timer.duration 2016-02-05 20:13:49 -05:00
k_event.c Allow events to support tickless kernel 2016-02-05 20:13:49 -05:00
k_irq.c Allow task IRQ code to support tickless kernel 2016-02-05 20:13:49 -05:00
k_mbox.c Renaming K_mvdreq to _k_movedata_request 2016-02-05 20:13:48 -05:00
k_memmap.c Renaming K_dealloc to _k_mem_map_dealloc 2016-02-05 20:13:48 -05:00
k_mempool.c Renaming K_RelBlock to _k_mem_pool_block_release 2016-02-05 20:13:46 -05:00
k_mutex.c Allow mutexes to support tickless kernel 2016-02-05 20:13:49 -05:00
k_nop.c Renaming K_nop to _k_nop 2016-02-05 20:13:48 -05:00
k_offload.c Renaming K_offload to _k_offload_to_fiber 2016-02-05 20:13:48 -05:00
k_queue.c Convert LITE references to TICKLESS_KERNEL references 2016-02-05 20:13:49 -05:00
k_sema.c Allow semaphores to support tickless kernel 2016-02-05 20:13:49 -05:00
k_task.c Remove most references to LITE symbol 2016-02-05 20:13:49 -05:00
k_timer.c Renaming k_timer.Tr to k_timer.period 2016-02-05 20:13:49 -05:00
power.c Renaming _SysPowerSaveIdleExit to _sys_power_save_idle_exit 2016-02-05 20:13:47 -05:00
task_monitor.c Renaming K_monitor_read _k_task_monitor_read 2016-02-05 20:13:47 -05:00