Gregory Nutt 3adcae8ffb Update the type passed to watchdog timer handlers. Using uint32_t is a problem for 64-bit machines.

2015-05-18 08:53:42 -06:00

..

Make.defs

…

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_post.c

Make some file section headers more consistent with standard

2015-04-08 06:47:36 -06:00

sem_recover.c

…

sem_timedwait.c

Update the type passed to watchdog timer handlers. Using uint32_t is a problem for 64-bit machines.

2015-05-18 08:53:42 -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

…

semaphore.h

…