VGIC_V2
if (kvm_vgic_global_state.type == VGIC_V2)
type = VGIC_V2;
if (kvm_vgic_global_state.type == VGIC_V2) {
if (kvm_vgic_global_state.type == VGIC_V2)
if (kvm_vgic_global_state.type == VGIC_V2) {
if (kvm_vgic_global_state.type == VGIC_V2) {
case VGIC_V2:
if (kvm_vgic_global_state.type == VGIC_V2)
if (kvm_vgic_global_state.type == VGIC_V2)
kvm_vgic_global_state.type = VGIC_V2;
if (kvm_vgic_global_state.type == VGIC_V2)
if (kvm_vgic_global_state.type == VGIC_V2)
if (kvm_vgic_global_state.type == VGIC_V2)