/* DESCRIPTION: This function causes the next available thread in the pend queue to be unblocked. If no thread is pending on this semaphore, the semaphore becomes 'full'.  */
PUBLIC IX_STATUS ixOsalSemaphorePost(IxOsalSemaphore *sid)
/* DESCRIPTION: This function causes the next available thread in the pend queue to be unblocked. If no thread is pending on this semaphore, the semaphore becomes 'full'.  */
PUBLIC IX_STATUS ixOsalSemaphorePost(IxOsalSemaphore *sid)
{
    diag_printf("%s called\n", __FUNCTION__);
    return IX_SUCCESS;
}