Searched refs:vmx_restore_tsc (Results 1 – 1 of 1) sorted by relevance
312 static int vmx_restore_tsc(void *arg, int vcpu, uint64_t now);4168 vmx_restore_tsc(void *arg, int vcpu, uint64_t offset) in vmx_restore_tsc() function4214 .restore_tsc = vmx_restore_tsc,