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 (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);