Remove redundant VCOS_SEMAPHORE_T typedef.