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