Searched defs:time (Results 1 – 18 of 18) sorted by relevance
25 uint64_t time; in main() local
150 EFI_TIME time; in efi_get_time() local319 static inline EFI_TIME *cast_time(struct xenpf_efi_time *time) in cast_time()
44 static uint32_t tis_wait_sts(uint8_t *addr, uint32_t time, in tis_wait_sts()
49 u64 time; member
127 s_time_t time; member
96 uint64_t time[4]; member
729 struct vcpu_time_info time; member
176 struct xenpf_efi_time time; member
471 uint64_aligned_t time; /* nsecs of profile measurement */ member
211 uint64_t time; /* wall time_t when error was detected */ member
81 unsigned long long time; member
1855 } time; member
197 __be32 time; /* Image Creation Timestamp */ in kernel_uimage_probe() member
500 uint64_t *time, in xc_lockprof_query()
2289 u64 gtime_to_gtsc(struct domain *d, u64 time) in gtime_to_gtsc()2303 u64 time = scale_delta(tsc, &d->arch.vtsc_to_ns); in gtsc_to_gtime() local
653 libxl__ev_time time; member
1473 libxl__ev_time time; member2695 libxl__ev_time time; member
809 static void t2c_update(const struct csched2_runqueue_data *rqd, s_time_t time, in t2c_update()3268 s_time_t time, min_time; in csched2_runtime() local
Completed in 71 milliseconds