Symbol: VMCB_CR_INTCPT
sys/amd64/vmm/amd/svm.c
492
svm_disable_intercept(vcpu, VMCB_CR_INTCPT, mask);
sys/amd64/vmm/amd/svm.c
494
svm_enable_intercept(vcpu, VMCB_CR_INTCPT, mask);