/* Disables an External Interrupt event output. 
Disables one or more output events from the External Interrupt module. See here for a list of events this module supports. */
void extint_disable_events(struct extint_events *const events)
/* Disables an External Interrupt event output. 
Disables one or more output events from the External Interrupt module. See here for a list of events this module supports. */
void extint_disable_events(struct extint_events *const events)
{
	Assert(events);
	Eic *const eics[EIC_INST_NUM] = EIC_INSTS;
	for (uint32_t i = 0; i < EIC_INST_NUM; i++) {
		uint32_t event_mask = 0;
		for (uint32_t j = 0; j < 32; j++) {
			if (events->generate_event_on_detect[(32 * i) + j]) {
				event_mask |= (1UL << j);
			}
		}
		eics[i]->EVCTRL.reg &= ~event_mask;
	}
}