Searched refs:time_passed (Results 1 – 1 of 1) sorted by relevance
709 uint64_t time_passed = hvm_get_guest_time(current) in vlapic_update_timer() local714 time_passed %= period; in vlapic_update_timer()715 if ( time_passed < period ) in vlapic_update_timer()716 delta = period - time_passed; in vlapic_update_timer()
Completed in 4 milliseconds