/* Set the EINT peripheral registers to their default reset values.  */
void EINT_Reset(void)
/* Set the EINT peripheral registers to their default reset values.  */
void EINT_Reset(void)
{
    EINT->IMASK = EINT_INTMASK_RESET_VALUE;
    EINT->EMASK = EINT_EVTMASK_RESET_VALUE;
    EINT->RTEN = EINT_RTSEL_RESET_VALUE;
    EINT->FTEN = EINT_FTSEL_RESET_VALUE;
    EINT->IPEND  = EINT_PEND_RESET_VALUE;
}