pv_eoi_enabled   2512 arch/x86/kvm/lapic.c 	BUG_ON(!pv_eoi_enabled(vcpu));
pv_eoi_enabled   2552 arch/x86/kvm/lapic.c 	if (!pv_eoi_enabled(vcpu) ||
pv_eoi_enabled   2688 arch/x86/kvm/lapic.c 	if (!pv_eoi_enabled(vcpu))