Searched refs:vgic_enable_irqs (Results 1 – 4 of 4) sorted by relevance
290 extern void vgic_enable_irqs(struct vcpu *v, uint32_t r, int n);
458 vgic_enable_irqs(v, (rank->ienable) & (~tr), rank->index); in vgic_v2_distr_mmio_write()
386 void vgic_enable_irqs(struct vcpu *v, uint32_t r, int n) in vgic_enable_irqs() function
794 vgic_enable_irqs(v, (rank->ienable) & (~tr), rank->index); in __vgic_v3_distr_common_mmio_write()
Completed in 8 milliseconds