handle_ept_misconfig
[EXIT_REASON_EPT_MISCONFIG] = handle_ept_misconfig,
return handle_ept_misconfig(vcpu);