VGIC_V2
else 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:
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)