/* NOTE: using inline for speed instead of call to external SoC function. MEC GIRQ numbers are documented as 8 to 26, check and convert to zero based index.  */
static void girq_src_clr(int girq, int bitpos)
/* NOTE: using inline for speed instead of call to external SoC function. MEC GIRQ numbers are documented as 8 to 26, check and convert to zero based index.  */
static void girq_src_clr(int girq, int bitpos)
{
	if ((girq < 8) || (girq > 26)) {
		return;
	}
	ECIA_XEC_REGS->GIRQ[girq - 8].SRC = BIT(bitpos);
}