Searched defs:tv_sec (Results 1 – 10 of 10) sorted by relevance
115 int tv_sec; /* must be 32bits to work */ in fw_efi_get_time() member
63 compat_time_t tv_sec; member68 compat_time_t tv_sec; member
49 compat_time_t tv_sec; member54 compat_time_t tv_sec; member
43 compat_time_t tv_sec; member48 compat_time_t tv_sec; member
47 compat_time_t tv_sec; member52 compat_time_t tv_sec; member
48 compat_time_t tv_sec; member53 compat_time_t tv_sec; member
69 compat_time_t tv_sec; member74 compat_time_t tv_sec; member
42 compat_time_t tv_sec; member47 compat_time_t tv_sec; member
98 compat_time_t tv_sec; member103 compat_time_t tv_sec; member
937 int tv_sec, tv_usec; member