24 	struct vgic_v3_cpu_if *cpuif = &vcpu->arch.vgic_cpu.vgic_v3;  in vgic_v3_set_underflow()
37 	struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;  in vgic_v3_fold_lr_state()
39 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_fold_lr_state()
109 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_populate_lr()
186 	vcpu->arch.vgic_cpu.vgic_v3.vgic_lr[lr] = val;  in vgic_v3_populate_lr()
191 	vcpu->arch.vgic_cpu.vgic_v3.vgic_lr[lr] = 0;  in vgic_v3_clear_lr()
196 	struct vgic_v3_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v3;  in vgic_v3_set_vmcr()
197 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_set_vmcr()
226 	struct vgic_v3_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v3;  in vgic_v3_get_vmcr()
227 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_get_vmcr()
262 	struct vgic_v3_cpu_if *vgic_v3 = &vcpu->arch.vgic_cpu.vgic_v3;  in vgic_v3_enable()
277 	if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {  in vgic_v3_enable()
281 		vcpu->arch.vgic_cpu.pendbaser = INITIAL_PENDBASER_VALUE;  in vgic_v3_enable()
286 	vcpu->arch.vgic_cpu.num_id_bits = (kvm_vgic_global_state.ich_vtr_el2 &  in vgic_v3_enable()
289 	vcpu->arch.vgic_cpu.num_pri_bits = ((kvm_vgic_global_state.ich_vtr_el2 &  in vgic_v3_enable()
320 	pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser);  in vgic_v3_lpi_sync_pending_status()
356 	struct vgic_dist *dist = &kvm->arch.vgic;  in unmap_all_vpes()
365 	struct vgic_dist *dist = &kvm->arch.vgic;  in map_all_vpes()
379 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_save_pending_tables()
410 		pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser);  in vgic_v3_save_pending_tables()
462 	struct vgic_dist *d = &kvm->arch.vgic;  in vgic_v3_rdist_overlap()
479 	struct vgic_dist *d = &kvm->arch.vgic;  in vgic_v3_check_base()
527 	struct list_head *rd_regions = &kvm->arch.vgic.rd_regions;  in vgic_v3_rdist_region_from_index()
540 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_map_resources()
545 		struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;  in vgic_v3_map_resources()
722 	struct vgic_v3_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v3;  in vgic_v3_load()
742 	struct vgic_v3_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v3;  in vgic_v3_vmcr_sync()
750 	struct vgic_v3_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v3;  in vgic_v3_put()