netbsd32_intptr_t
netbsd32_intptr_t va;
netbsd32_intptr_t va;
netbsd32_intptr_t catcher;
typedef netbsd32_intptr_t netbsd32_semid_t;
netbsd32_intptr_t arg32;
netbsd32_intptr_t id32, *outidp = dst;
id32 = (netbsd32_intptr_t)*idp;
syscallarg(netbsd32_intptr_t) id;
syscallarg(netbsd32_intptr_t) id;
syscallarg(netbsd32_intptr_t) id;
syscallarg(netbsd32_intptr_t) id;
syscallarg(netbsd32_intptr_t) id;
syscallarg(netbsd32_intptr_t) id;