Searched defs:tcbptr (Results 1 – 1 of 1) sorted by relevance
54 register_t tcbptr; in cloudabi64_fixup_tcb() local163 uint64_t tcbptr; in cloudabi64_thread_setregs() local