51 #define GIC_INTR_OFS(intr) ({				\  argument
53 	unsigned reg_idx = (intr) / bits;		\
58 #define GIC_INTR_BIT(intr)		((intr) % (mips_cm_is64 ? 64 : 32))  argument
84 #define GIC_SH_MAP_TO_PIN(intr)		(4 * (intr))  argument
88 #define GIC_SH_MAP_TO_VPE_REG_OFF(intr, vpe) \  argument
89 	((32 * (intr)) + (((vpe) / 32) * 4))
115 #define GIC_VPE_EIC_SS(intr)		(4 * (intr))  argument
118 #define GIC_VPE_EIC_VEC(intr)		(4 * (intr))  argument
142 #define GIC_SH_WEDGE_SET(intr)		((intr) | (0x1 << 31))  argument
143 #define GIC_SH_WEDGE_CLR(intr)		((intr) & ~(0x1 << 31))  argument
264 extern void gic_send_ipi(unsigned int intr);