svr4_hrt_time_t   905 compat/svr4/svr4_misc.c 	syscallarg(svr4_hrt_time_t *)		ti;
svr4_hrt_time_t   924 compat/svr4/svr4_misc.c 			svr4_hrt_time_t t;