Searched refs:linux32_timep_t (Results 1 – 2 of 2) sorted by relevance
61 typedef netbsd32_pointer_t linux32_timep_t; typedef
80 syscallarg(linux32_timep_t) t;110 syscallarg(linux32_timep_t) t;