svm_modify_intr_shadow
error = svm_modify_intr_shadow(vcpu, 1);
return (svm_modify_intr_shadow(vcpu, val));