vmx_smi_allowed
return vmx_smi_allowed(vcpu, for_injection);
int vmx_smi_allowed(struct kvm_vcpu *vcpu, bool for_injection);