Searched refs:vgic_rank_init (Results 1 – 1 of 1) sorted by relevance

/xen/xen/arch/arm/
A D	vgic.c	77 static void vgic_rank_init(struct vgic_irq_rank *rank, uint8_t index, in vgic_rank_init() function 157 vgic_rank_init(&d->arch.vgic.shared_irqs[i], i + 1, 0); in domain_vgic_init() 214 vgic_rank_init(v->arch.vgic.private_irqs, 0, v->vcpu_id); in vcpu_vgic_init()

Completed in 3 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023