Searched refs:guest_nsec (Results 1 – 1 of 1) sorted by relevance
254 uint64_t guest_nsec; in check_update_timer() local267 guest_nsec = get_guest_rtc_ns(s) % NANOSECONDS_PER_SECOND; in check_update_timer()269 + NANOSECONDS_PER_SECOND - guest_nsec; in check_update_timer()633 int64_t guest_nsec; in rtc_update_time() local635 guest_nsec = get_guest_rtc_ns(s); in rtc_update_time()636 guest_sec = guest_nsec / NANOSECONDS_PER_SECOND; in rtc_update_time()647 int64_t guest_nsec; in update_in_progress() local662 guest_nsec = get_guest_rtc_ns(s); in update_in_progress()664 if ((guest_nsec % NANOSECONDS_PER_SECOND) >= in update_in_progress()