Searched refs:wc_sec_hi (Results 1 – 3 of 3) sorted by relevance
113 d->shared_info->native.wc_sec_hi = sec >> 32; in update_domain_wallclock_time()115 d->shared_info->compat.arch.wc_sec_hi = sec >> 32; in update_domain_wallclock_time()117 shared_info(d, wc_sec_hi) = sec >> 32; in update_domain_wallclock_time()
749 uint32_t wc_sec_hi; member750 # define xen_wc_sec_hi wc_sec_hi752 # define xen_wc_sec_hi arch.wc_sec_hi
266 uint32_t wc_sec_hi; member
Completed in 6 milliseconds