vgic_is_v3_compat
if (vgic_is_v3_compat(vcpu->kvm) &&
return kvm_vgic_global_state.type == VGIC_V3 || vgic_is_v3_compat(kvm);