Symbol: VMCB_INTCPT_IRET
sys/amd64/vmm/amd/svm.c
1123
blocked = svm_get_intercept(vcpu, VMCB_CTRL1_INTCPT, VMCB_INTCPT_IRET);
sys/amd64/vmm/amd/svm.c
1133
svm_enable_intercept(vcpu, VMCB_CTRL1_INTCPT, VMCB_INTCPT_IRET);
sys/amd64/vmm/amd/svm.c
1154
svm_disable_intercept(vcpu, VMCB_CTRL1_INTCPT, VMCB_INTCPT_IRET);