linux/microblaze/set_scno.c

static int
arch_set_scno(struct tcb *tcp, kernel_ulong_t scno)
{
	return upoke(tcp->pid, 0, scno);
}