Searched defs:vgic_v3 (Results 1 – 2 of 2) sorted by relevance
263 struct vgic_v3_cpu_if *vgic_v3 = &vcpu->arch.vgic_cpu.vgic_v3; in vgic_v3_enable() local300 struct vgic_v3_cpu_if *vgic_v3 = &vcpu->arch.vgic_cpu.vgic_v3; in vcpu_set_ich_hcr() local
330 struct vgic_v3_cpu_if vgic_v3; member