Searched refs:vgic_rank_init (Results 1 – 1 of 1) sorted by relevance
76 static void vgic_rank_init(struct vgic_irq_rank *rank, uint8_t index, in vgic_rank_init() function149 vgic_rank_init(&d->arch.vgic.shared_irqs[i], i + 1, 0); in domain_vgic_init()206 vgic_rank_init(v->arch.vgic.private_irqs, 0, v->vcpu_id); in vcpu_vgic_init()
Completed in 3 milliseconds