Searched refs:vmi_restore_tsc_t (Results 1 – 1 of 1) sorted by relevance
189 typedef int (*vmi_restore_tsc_t)(void *vmi, int vcpuid, uint64_t now); typedef213 vmi_restore_tsc_t restore_tsc;