Lines Matching defs:mask
33 * and set the priority mask register to allow all interrupts to trickle in.
290 * This function sets the GICv2 target mask pattern for the current PE. The PE
291 * target mask is used to translate linear PE index (returned by platform core
292 * position) to a bit mask used when targeting interrupts to a PE (for example
303 /* Return if the target mask is already populated */
319 * secondaries overwriting each others' mask, despite
437 /* Don't raise SGI if the mask hasn't been populated */
479 /* Don't route interrupt if the mask hasn't been populated */
529 unsigned int gicv2_set_pmr(unsigned int mask)
543 gicc_write_pmr(driver_data->gicc_base, mask);