Searched refs:vintr_intercept_enabled (Results 1 – 1 of 1) sorted by relevance
1013 vintr_intercept_enabled(struct svm_softc *sc, int vcpu) in vintr_intercept_enabled() function1030 KASSERT(vintr_intercept_enabled(sc, vcpu), in enable_intr_window_exiting()1051 KASSERT(!vintr_intercept_enabled(sc, vcpu), in disable_intr_window_exiting()