vgic_state_is_nested
if (vcpu && vgic_state_is_nested(vcpu))
BUG_ON(!vgic_state_is_nested(vcpu));
if (vgic_state_is_nested(vcpu)) {
if ((lr & ICH_LR_HW) && !vgic_state_is_nested(vcpu))
if (vgic_state_is_nested(vcpu)) {
if (vgic_state_is_nested(vcpu)) {
if (vgic_state_is_nested(vcpu)) {
bool vgic_state_is_nested(struct kvm_vcpu *vcpu);