Searched refs:netbsd32_intptr_t (Results 1 – 5 of 5) sorted by relevance
61 netbsd32_intptr_t va;67 netbsd32_intptr_t va;
51 netbsd32_intptr_t id32, *outidp = dst; in netbsd32_ksem_copyout()56 id32 = (netbsd32_intptr_t)*idp; in netbsd32_ksem_copyout()
68 typedef int32_t netbsd32_intptr_t; typedef167 typedef netbsd32_intptr_t netbsd32_semid_t;912 netbsd32_intptr_t udata;
376 syscallarg(netbsd32_intptr_t) incr;1274 syscallarg(netbsd32_intptr_t) id;1279 syscallarg(netbsd32_intptr_t) id;1284 syscallarg(netbsd32_intptr_t) id;1289 syscallarg(netbsd32_intptr_t) id;1294 syscallarg(netbsd32_intptr_t) id;1300 syscallarg(netbsd32_intptr_t) id;
323 netbsd32_intptr_t catcher; in netbsd32_sendsig_siginfo()