Lines Matching refs:vki_time_t
175 typedef __vki_kernel_time_t vki_time_t;249 vki_time_t tv_sec; /* seconds */254 vki_time_t tv_sec; /* seconds */334 vki_time_t actime;335 vki_time_t modtime;
