vgic_irq_set_phys_active
vgic_irq_set_phys_active(irq, false);
vgic_irq_set_phys_active(irq, true);
vgic_irq_set_phys_active(irq, false);
vgic_irq_set_phys_active(irq, active);
vgic_irq_set_phys_active(irq, false);
void vgic_irq_set_phys_active(struct vgic_irq *irq, bool active);