Searched refs:gicv2_get_running_priority (Results 1 – 3 of 3) sorted by relevance
185 unsigned int gicv2_get_running_priority(void);
158 return gicv2_get_running_priority(); in plat_ic_get_running_priority()
281 unsigned int gicv2_get_running_priority(void) in gicv2_get_running_priority() function
