/* Reset the EINT peripheral registers to their default reset values.  */
void EINT_Reset(void)
/* Reset the EINT peripheral registers to their default reset values.  */
void EINT_Reset(void)
{
    EINT->IMASK = 0x00000000;
    EINT->EMASK = 0x00000000;
    EINT->RTEN  = 0x00000000;
    EINT->FTEN  = 0x00000000;
    EINT->IPEND = 0x000FFFFF;
}