vgic_lpis_enabled
if (!vgic_lpis_enabled(vcpu))
if (vgic_lpis_enabled(vcpu))
if (vgic_lpis_enabled(vcpu))
if ((addr & 4) || !vgic_lpis_enabled(vcpu))
if ((addr & 4) || !vgic_lpis_enabled(vcpu))
bool vgic_lpis_enabled(struct kvm_vcpu *vcpu);