1static int
2arch_set_scno(struct tcb *tcp, kernel_ulong_t scno)
3{
4	avr32_regs.r8 = scno;
5	return set_regs(tcp->pid);
6}
7