Searched refs:vgic_allocate_ppi (Results 1 – 2 of 2) sorted by relevance
237 static inline int vgic_allocate_ppi(struct domain *d) in vgic_allocate_ppi() function
2038 res = vgic_allocate_ppi(d); in evtchn_fixup()
Completed in 6 milliseconds