Gregory Nutt 0b12dbf95d Fix some spacing problems		2015-10-04 15:04:00 -06: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	Standardize naming used for public data and function groupings	2015-10-02 16:30:35 -06:00
sem_holder.c	Fix some spacing problems	2015-10-04 15:04:00 -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	Standardize naming used for public data and function groupings	2015-10-02 16:30:35 -06:00
sem_recover.c	Standardize naming used for public data and function groupings	2015-10-02 16:30:35 -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	Standardize naming used for public data and function groupings	2015-10-02 16:30:35 -06:00
sem_wait.c	Standardize naming used for public data and function groupings	2015-10-02 16:30:35 -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	Standardize naming used for public data and function groupings	2015-10-02 16:30:35 -06:00