Searched refs:thread_number (Results 1 – 1 of 1) sorted by relevance
72 int thread_number = POINTER_TO_INT(p1); in mbox_get_waiting_thread() local76 switch (thread_number) { in mbox_get_waiting_thread()103 "Failure at thread number %d", thread_number); in mbox_get_waiting_thread()
