Did you mean (for freebsd):vmx_restore_tsc
Your search defs:VM_RESTORE_TSC did not match any files. Suggestions: