Searched refs:vintr_intercept_enabled (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/sys/amd64/vmm/amd/
H A Dsvm.c1013 vintr_intercept_enabled(struct svm_softc *sc, int vcpu) function
1030 KASSERT(vintr_intercept_enabled(sc, vcpu),
1051 KASSERT(!vintr_intercept_enabled(sc, vcpu),

Completed in 181 milliseconds