svm_get_intercept
return (svm_get_intercept(sc, vcpu, VMCB_CTRL1_INTCPT,
*retval = svm_get_intercept(sc, vcpu, VMCB_CTRL1_INTCPT,
*retval = svm_get_intercept(sc, vcpu, VMCB_CTRL1_INTCPT,
return (svm_get_intercept(sc, vcpu, VMCB_CTRL1_INTCPT,
int svm_get_intercept(struct svm_softc *, int, int, uint32_t);