Searched refs:tcb_addr (Results 1 – 1 of 1) sorted by relevance
6428 u32 tcb_addr = tcb_base + tid * TCB_SIZE; in t4_read_tcb() local6433 tcb_addr, sizeof raw_tcb, raw_tcb, in t4_read_tcb()