Searched refs:update_system_time (Results 1 – 1 of 1) sorted by relevance
61 static void update_system_time(vCPUTime *vcpu) in update_system_time() function103 update_system_time(vcpu); in vcpu_exit()110 update_system_time(vcpu); in every_quantum_insn()