Searched defs:vgic_v3 (Results 1 – 1 of 1) sorted by relevance
468 struct vgic_v3_cpu_if *vgic_v3 = &vcpu->arch.vgic_cpu.vgic_v3; in vgic_v3_reset() local500 struct vgic_v3_cpu_if *vgic_v3 = &vcpu->arch.vgic_cpu.vgic_v3; in vcpu_set_ich_hcr() local