Searched refs:vmi_restore_tsc_t (Results 1 – 1 of 1) sorted by relevance
194 typedef int (*vmi_restore_tsc_t)(void *vcpui, uint64_t now); typedef220 vmi_restore_tsc_t restore_tsc;