Searched refs:vgic_get_rank (Results 1 – 1 of 1) sorted by relevance
35 static inline struct vgic_irq_rank *vgic_get_rank(struct vcpu *v, int rank) in vgic_get_rank() function54 return vgic_get_rank(v, rank); in vgic_rank_offset()61 return vgic_get_rank(v, rank); in vgic_rank_irq()367 struct vgic_irq_rank *r = vgic_get_rank(v, n); in vgic_get_virq_type()
Completed in 3 milliseconds