Searched refs:version_update_end (Results 1 – 3 of 3) sorted by relevance
65 #define version_update_end(v) ((v) + 1) macro
121 *wc_version = version_update_end(*wc_version); in update_domain_wallclock_time()
1309 u->version = version_update_end(u->version); in __update_vcpu_system_time()1338 u->version = version_update_end(u->version); in update_secondary_system_time()
Completed in 9 milliseconds