static void
arch_sigreturn(struct tcb *tcp)
{
}