• change : OSMsgQ_t
• head : OSQueue_t
• internal_state : tcb
• list : OSQueue_t
• msgChangeEvent : tcb
• msgResult : tcb
• savedState : tcb
• size : OSQueue_t
• state : tcb
• tail : OSQueue_t
• taskId : OSMsgQ_t
• waitQ : tcb