Searched refs:vgic_get_sgi_sources (Results 1 - 1 of 1) sorted by relevance
| /linux-4.4.14/virt/kvm/arm/ |
| H A D | vgic-v2-emul.c | 38 static u8 *vgic_get_sgi_sources(struct vgic_dist *dist, int vcpu_id, int sgi) vgic_get_sgi_sources() function
257 u8 sources = *vgic_get_sgi_sources(dist, vcpu_id, sgi); read_set_clear_sgi_pend_reg()
283 u8 *src = vgic_get_sgi_sources(dist, vcpu_id, sgi); write_set_clear_sgi_pend_reg()
440 *vgic_get_sgi_sources(dist, c, sgi) |= 1 << vcpu_id; kvm_for_each_vcpu()
456 sources = *vgic_get_sgi_sources(dist, vcpu_id, irq); vgic_v2_queue_sgi()
463 *vgic_get_sgi_sources(dist, vcpu_id, irq) = sources; vgic_v2_queue_sgi()
548 *vgic_get_sgi_sources(dist, vcpu->vcpu_id, irq) |= 1 << source; vgic_v2_add_sgi_source()
|
Completed in 40 milliseconds