/************************** Task handling ************************************/
XBT_PUBLIC(MSG_error_t)
MSG_mailbox_get_task_ext(msg_mailbox_t mailbox, m_task_t * task,
/************************** Task handling ************************************/
XBT_PUBLIC(MSG_error_t)
MSG_mailbox_get_task_ext(msg_mailbox_t mailbox, m_task_t * task,