Searched refs:restore_tsc (Results 1 – 4 of 4) sorted by relevance
213 vmi_restore_tsc_t restore_tsc; member
2720 .restore_tsc = svm_restore_tsc,
234 DEFINE_VMMOPS_IFUNC(int, restore_tsc, (void *vmi, int vcpuid, uint64_t now))
4214 .restore_tsc = vmx_restore_tsc,