Searched refs:read_tcb (Results 1 – 1 of 1) sorted by relevance
2248 read_tcb(int argc, const char *argv[]) in read_tcb() function3565 rc = read_tcb(argc, argv); in run_cmd()