julian 9ce470a533 Tidy up the scheduler's code for changing the priority of a thread. ...

Logically pretty much a NOP.

2002-10-14 20:34:31 +00:00

..

_semaphore.h

…

ksched.c

Tidy up the scheduler's code for changing the priority of a thread.

2002-10-14 20:34:31 +00:00

mqueue.h

…

p1003_1b.c

…

posix4_mib.c

…

posix4.h

…

sched.h

…

semaphore.h

…