Searched refs:GIC_SH_WEDGE_SET (Results 1 – 2 of 2) sorted by relevance
142 #define GIC_SH_WEDGE_SET(intr) ((intr) | (0x1 << 31)) macro
269 gic_write(GIC_REG(SHARED, GIC_SH_WEDGE), GIC_SH_WEDGE_SET(intr)); in gic_send_ipi()