Searched refs:svm_restore_tsc (Results 1 – 1 of 1) sorted by relevance
2804 svm_restore_tsc(void *vcpui, uint64_t offset) in svm_restore_tsc() function2836 .restore_tsc = svm_restore_tsc,