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

/xen/xen/arch/arm/
A D	vgic.c	36 static inline struct vgic_irq_rank *vgic_get_rank(struct vcpu *v, int rank) in vgic_get_rank() function 55 return vgic_get_rank(v, rank); in vgic_rank_offset() 62 return vgic_get_rank(v, rank); in vgic_rank_irq() 375 struct vgic_irq_rank *r = vgic_get_rank(v, n); in vgic_get_virq_type()

Completed in 3 milliseconds

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