Paul A. Patience 9f108b7b63 Fix issues detected by clang		2015-09-10 20:59:43 -04:00
..
Make.defs	sem_tickwait(): Add a new, non-standard function to perform timed semaphore waits. It is functionally equialent to the standard sem_timedwait(), but more efficient for use in higher performance device drivers. Requested by Max Neklyudov	2015-08-01 07:31:09 -06:00
sem_destroy.c	Make some file section headers more consistent with standard	2015-04-08 06:47:36 -06:00
sem_holder.c	Make some file section headers more consistent with standard	2015-04-08 06:47:36 -06:00
sem_initialize.c	sem_tickwait(): Add a new, non-standard function to perform timed semaphore waits. It is functionally equialent to the standard sem_timedwait(), but more efficient for use in higher performance device drivers. Requested by Max Neklyudov	2015-08-01 07:31:09 -06:00
sem_post.c	Make some file section headers more consistent with standard	2015-04-08 06:47:36 -06:00
sem_recover.c	Sempahores: Add logic to clean up after task_delete() or pthread_cancel() if the task happens to be waiting on a semaphore when it is cancelled	2014-12-13 12:02:25 -06:00
sem_tickwait.c	FIX typo in DEBUASSERTion	2015-08-03 09:14:15 -06:00
sem_timedwait.c	Fix issues detected by clang	2015-09-10 20:59:43 -04:00
sem_timeout.c	Forget to add files before last commit	2015-08-01 07:34:27 -06:00
sem_trywait.c	Another missing semicolon	2015-04-23 07:18:59 -06:00
sem_wait.c	sem_wait(): Missing comma on debug statement caused compile error with DEBUG on. Why hasn't that been noted before?	2015-04-23 07:15:55 -06:00
sem_waitirq.c	sem_tickwait(): Add a new, non-standard function to perform timed semaphore waits. It is functionally equialent to the standard sem_timedwait(), but more efficient for use in higher performance device drivers. Requested by Max Neklyudov	2015-08-01 07:31:09 -06:00
semaphore.h	sem_tickwait(): Add a new, non-standard function to perform timed semaphore waits. It is functionally equialent to the standard sem_timedwait(), but more efficient for use in higher performance device drivers. Requested by Max Neklyudov	2015-08-01 07:31:09 -06:00