svm_get_intercept
return (svm_get_intercept(vcpu, VMCB_CTRL1_INTCPT, VMCB_INTCPT_VINTR));
blocked = svm_get_intercept(vcpu, VMCB_CTRL1_INTCPT, VMCB_INTCPT_IRET);
*retval = svm_get_intercept(vcpu, VMCB_CTRL1_INTCPT,
*retval = svm_get_intercept(vcpu, VMCB_CTRL1_INTCPT,
*retval = svm_get_intercept(vcpu, VMCB_EXC_INTCPT, BIT(IDT_BP));