Vxwroks semaphore