Symbol: VMCB_INTCPT_VINTR
sys/amd64/vmm/amd/svm.c
1041
return (svm_get_intercept(vcpu, VMCB_CTRL1_INTCPT, VMCB_INTCPT_VINTR));
sys/amd64/vmm/amd/svm.c
1064
svm_enable_intercept(vcpu, VMCB_CTRL1_INTCPT, VMCB_INTCPT_VINTR);
sys/amd64/vmm/amd/svm.c
1084
svm_disable_intercept(vcpu, VMCB_CTRL1_INTCPT, VMCB_INTCPT_VINTR);