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