38 static u8 *vgic_get_sgi_sources(struct vgic_dist *dist, int vcpu_id, int sgi)  in vgic_get_sgi_sources()  argument
40 	return dist->irq_sgi_sources + vcpu_id * VGIC_NR_SGIS + sgi;  in vgic_get_sgi_sources()
83 				      vcpu->vcpu_id, ACCESS_WRITE_SETBIT);  in handle_mmio_set_enable_reg()
91 				      vcpu->vcpu_id, ACCESS_WRITE_CLEARBIT);  in handle_mmio_clear_enable_reg()
99 					   vcpu->vcpu_id);  in handle_mmio_set_pending_reg()
107 					     vcpu->vcpu_id);  in handle_mmio_clear_pending_reg()
115 					  vcpu->vcpu_id);  in handle_mmio_set_active_reg()
123 					    vcpu->vcpu_id);  in handle_mmio_clear_active_reg()
131 					vcpu->vcpu_id, offset);  in handle_mmio_priority_reg()
195 		roreg = 1 << vcpu->vcpu_id;  in handle_mmio_target_reg()
222 				  vcpu->vcpu_id, offset >> 1);  in handle_mmio_cfg_reg()
252 	int vcpu_id = vcpu->vcpu_id;  in read_set_clear_sgi_pend_reg()  local
257 		u8 sources = *vgic_get_sgi_sources(dist, vcpu_id, sgi);  in read_set_clear_sgi_pend_reg()
274 	int vcpu_id = vcpu->vcpu_id;  in write_set_clear_sgi_pend_reg()  local
283 		u8 *src = vgic_get_sgi_sources(dist, vcpu_id, sgi);  in write_set_clear_sgi_pend_reg()
413 	int sgi, mode, c, vcpu_id;  in vgic_dispatch_sgi()  local
415 	vcpu_id = vcpu->vcpu_id;  in vgic_dispatch_sgi()
428 		target_cpus = ((1 << nrcpus) - 1) & ~(1 << vcpu_id) & 0xff;  in vgic_dispatch_sgi()
432 		target_cpus = 1 << vcpu_id;  in vgic_dispatch_sgi()
440 			*vgic_get_sgi_sources(dist, c, sgi) |= 1 << vcpu_id;  in vgic_dispatch_sgi()
442 				  sgi, vcpu_id, c);  in vgic_dispatch_sgi()
453 	int vcpu_id = vcpu->vcpu_id;  in vgic_v2_queue_sgi()  local
456 	sources = *vgic_get_sgi_sources(dist, vcpu_id, irq);  in vgic_v2_queue_sgi()
463 	*vgic_get_sgi_sources(dist, vcpu_id, irq) = sources;  in vgic_v2_queue_sgi()
548 	*vgic_get_sgi_sources(dist, vcpu->vcpu_id, irq) |= 1 << source;  in vgic_v2_add_sgi_source()