Gregory Nutt 12cbe147a0 Forget to add files before last commit

2015-08-01 07:34:27 -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

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

…

sem_tickwait.c

Forget to add files before last commit

2015-08-01 07:34:27 -06:00

sem_timedwait.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_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