Searched refs:show_tcb (Results 1 – 1 of 1) sorted by relevance
2226 show_tcb(uint32_t *buf, uint32_t len) in show_tcb() function2275 return (read_mem(addr, TCB_SIZE, show_tcb)); in read_tcb()