Searched refs:random_tid (Results 1 – 1 of 1) sorted by relevance
30 static k_tid_t sender_tid, receiver_tid, random_tid; variable82 mmsg.rx_source_thread = random_tid; in mbox_get_waiting_thread()147 mmsg.tx_target_thread = random_tid; in tmbox_put()181 mmsg.tx_target_thread = random_tid; in tmbox_put()290 mmsg.rx_source_thread = random_tid; in tmbox_get()296 mmsg.rx_source_thread = random_tid; in tmbox_get()301 mmsg.rx_source_thread = random_tid; in tmbox_get()