1static void
2arch_sigreturn(struct tcb *tcp)
3{
4	/* TODO: Verify that this is correct...  */
5
6	unsigned long addr;
7
8	/* Read r1, the stack pointer.  */
9	if (upeek(tcp, 1 * 4, &addr) < 0)
10		return;
11	addr += offsetof(struct sigcontext, oldmask);
12
13	tprints("{mask=");
14	print_sigset_addr(tcp, addr);
15	tprints("}");
16}
17