Searched defs:gicv2_get_running_priority (Results 1 – 2 of 2) sorted by relevance
281 unsigned int gicv2_get_running_priority(void) in gicv2_get_running_priority() function
280 unsigned int gicv2_get_running_priority(void) in gicv2_get_running_priority() function