Searched refs:vintr_intercept_enabled (Results 1 – 1 of 1) sorted by relevance
1015 vintr_intercept_enabled(struct svm_vcpu *vcpu) in vintr_intercept_enabled() function1031 KASSERT(vintr_intercept_enabled(vcpu), in enable_intr_window_exiting()1052 KASSERT(!vintr_intercept_enabled(vcpu), in disable_intr_window_exiting()