1static int
2arch_set_scno(struct tcb *tcp, kernel_ulong_t scno)
3{
4	if (ia64_ia32mode)
5		ia64_regs.gr[0] = scno;
6	else
7		ia64_regs.gr[15] = scno;
8
9	return set_regs(tcp->pid);
10}
11