/* Clear NVIC pending status given GIRQ source information encoded by macro MCHP_XEC_ECIA. For aggregated only sources the encoding sets direct NVIC number equal to aggregated NVIC number.  */
void mchp_xec_ecia_info_nvic_clr_pend(int ecia_info)
/* Clear NVIC pending status given GIRQ source information encoded by macro MCHP_XEC_ECIA. For aggregated only sources the encoding sets direct NVIC number equal to aggregated NVIC number.  */
void mchp_xec_ecia_info_nvic_clr_pend(int ecia_info)
{
	uint8_t nvic_num = MCHP_XEC_ECIA_NVIC_DIRECT(ecia_info);
	mchp_xec_ecia_nvic_clr_pend(nvic_num);
}