/* Deallocates a mailbox. If there are messages still present in the mailbox when the mailbox is deallocated, it is an indication of a programming error in lwIP and the developer should be notified.  */
void sys_mbox_free(sys_mbox_t *mbox)
/* Deallocates a mailbox. If there are messages still present in the mailbox when the mailbox is deallocated, it is an indication of a programming error in lwIP and the developer should be notified.  */
void sys_mbox_free(sys_mbox_t *mbox)
{
    LWIP_ASSERT( "sys_mbox_free ", *mbox != SYS_MBOX_NULL );      
	tls_os_queue_flush(*mbox);
	tls_os_queue_delete(*mbox);
}