Multiple functions in the VxWorks osfileapi.c are not taking the semaphore when accessing the shared table.
OS_close, OS_read, OS_write, OS_lseek, OS_remove, OS_rename, OS_cp, OS_mv, OS_ShellOutputToFile, OS_FDGetInfo.
Identified with #45 white-box coverage testing.