void ctl_message_queue_post_uc(CTL_MESSAGE_QUEUE_t *q, void *message);
ctl_message_queue_post_uc posts message to the message queue pointed to by q. If the message queue is full then the caller will unconditionally block until the message can be posted.
ctl_message_queue_post_uc must not be called from an interrupt service routine.