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