Searched refs:vgic_update_vsgi (Results 1 – 1 of 1) sorted by relevance
64 static void vgic_update_vsgi(struct vgic_irq *irq) in vgic_update_vsgi() function82 vgic_update_vsgi(irq); in vgic_mmio_write_group()707 vgic_update_vsgi(irq); in vgic_mmio_write_priority()