SVM_EXIT_WBINVD
return sev_es_ghcb_hv_call(ghcb, ctxt, SVM_EXIT_WBINVD, 0, 0);
case SVM_EXIT_WBINVD:
case SVM_EXIT_WBINVD:
{ SVM_EXIT_WBINVD, "wbinvd" }, \
case SVM_EXIT_WBINVD:
[SVM_EXIT_WBINVD] = kvm_emulate_wbinvd,
[x86_intercept_wbinvd] = POST_EX(SVM_EXIT_WBINVD),
{ SVM_EXIT_WBINVD, "wbinvd" }, \