NETBSD32PTR32I
sp = NETBSD32PTR32I(oldsp);
sp = NETBSD32PTR32I(oldsp);
tf->tf_reg[1] = NETBSD32PTR32I(u_siginfo);
tf->tf_reg[2] = NETBSD32PTR32I(&u_sigframe->uc);
tf->tf_reg[14] = NETBSD32PTR32I((char *)p->p_sigctx.ps_sigcode +
retval[0] = NETBSD32PTR32I(l->l_private);
a->a_v = NETBSD32PTR32I(&esdp->randbytes[0]);
a->a_v = NETBSD32PTR32I(&esdp->kernel_vsyscall[0]);
a->a_v = NETBSD32PTR32I(&esdp->elfhdr);
a->a_v = NETBSD32PTR32I(&esdp->hw_platform[0]);
#define NETBSD32PTR32(p32, p64) ((p32).i32 = NETBSD32PTR32I(p64))
NETBSD32PTR32I(si->_reason._fault._addr);