Searched refs:vgic_get_sgi_sources (Results 1 – 1 of 1) sorted by relevance
| /linux-4.4.14/virt/kvm/arm/ |
| D | vgic-v2-emul.c | 38 static u8 *vgic_get_sgi_sources(struct vgic_dist *dist, int vcpu_id, int sgi) in vgic_get_sgi_sources() function
257 u8 sources = *vgic_get_sgi_sources(dist, vcpu_id, sgi); in read_set_clear_sgi_pend_reg()
283 u8 *src = vgic_get_sgi_sources(dist, vcpu_id, sgi); in write_set_clear_sgi_pend_reg()
440 *vgic_get_sgi_sources(dist, c, sgi) |= 1 << vcpu_id; in vgic_dispatch_sgi()
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()
|