VGIC_V3
!(vgic_present && (kvm_vgic_global_state.type == VGIC_V3 ||
type = VGIC_V3;
} else if (kvm_vgic_global_state.type == VGIC_V3 ||
case VGIC_V3:
kvm_vgic_global_state.type = VGIC_V3;
return kvm_vgic_global_state.type == VGIC_V3 || vgic_is_v3_compat(kvm);