/* LPC5410X Pin Interrupt and Pattern Match Registers and driver.  */
void Chip_PININT_SetPatternMatchSrc(LPC_PIN_INT_T *pPININT, Chip_PININT_SELECT_T channelNum, Chip_PININT_BITSLICE_T sliceNum)
/* LPC5410X Pin Interrupt and Pattern Match Registers and driver.  */
void Chip_PININT_SetPatternMatchSrc(LPC_PIN_INT_T *pPININT, Chip_PININT_SELECT_T channelNum, Chip_PININT_BITSLICE_T sliceNum)
{
	uint32_t pmsrc_reg;
	pmsrc_reg = pPININT->PMSRC & ~(PININT_SRC_BITSOURCE_MASK << (PININT_SRC_BITSOURCE_START + (sliceNum * 3)));
	pPININT->PMSRC = pmsrc_reg | (channelNum << (PININT_SRC_BITSOURCE_START + (sliceNum * 3)));
}