Searched refs:insn_advance (Results 1 – 1 of 1) sorted by relevance
68 uint64_t insn_advance = vcpu->quantum_insn - max_insn; in update_system_time() local69 uint64_t time_advance_ns = time_for_insn(insn_advance); in update_system_time()