Symbol: vintr_intercept_enabled
sys/amd64/vmm/amd/svm.c
1054
KASSERT(vintr_intercept_enabled(vcpu),
sys/amd64/vmm/amd/svm.c
1075
KASSERT(!vintr_intercept_enabled(vcpu),