Did you mean (for freebsd):vmexit_hlt vmexit_hyp vmexit_svm
Your search defs:VMEXIT_HVC did not match any files. Suggestions: