Searched refs:xics_cppr_top (Results 1 – 2 of 2) sorted by relevance
134 static inline unsigned char xics_cppr_top(void) in xics_cppr_top() function
110 unsigned int xirr = icp_hv_get_xirr(xics_cppr_top()); in icp_hv_get_irq()