Searched refs:tid0 (Results 1 – 2 of 2) sorted by relevance
169 uint32_t tid0 = ~0u; /*< Initial value of MBOX transactionId. */ in fw1x_reset() local180 if (tid0 == ~0U) { in fw1x_reset()182 tid0 = mbox.transaction_id; in fw1x_reset()184 } else if (mbox.transaction_id != tid0) { in fw1x_reset()
544 lwpid_t tid0; in threadinit() local568 tid0 = tid_alloc(); in threadinit()569 if (tid0 != THREAD0_TID) in threadinit()570 panic("tid0 %d != %d\n", tid0, THREAD0_TID); in threadinit()