1static int
2arch_set_scno(struct tcb *tcp, kernel_ulong_t scno)
3{
4	return upoke(tcp->pid, 4 * (REG_REG0 + 3), scno);
5}
6