Lines Matching defs:priority

33  * and set the priority mask register to allow all interrupts to trickle in.
49 	/* Program the idle priority in the PMR */
152 	 * - interrupt priority drop.
190  * This function returns the type of the highest priority pending interrupt at
195  *                            sufficient priority to be signaled
206  * This function returns the id of the highest priority pending interrupt at
278  * This function returns the priority of the interrupt the processor is
377  * This function sets the interrupt priority as supplied for the given interrupt
380 void gicv2_set_interrupt_priority(unsigned int id, unsigned int priority)
386 	gicd_set_ipriorityr(driver_data->gicd_base, id, priority);