Symbol: pv_eoi_enabled
arch/x86/kvm/lapic.c
3335
BUG_ON(!pv_eoi_enabled(vcpu));
arch/x86/kvm/lapic.c
3369
if (!pv_eoi_enabled(vcpu) ||