AVR32_INT_EPT_INT
avr32dci_mod_ien(sc, 0, AVR32_INT_EPT_INT(ep_no));
if (status & -AVR32_INT_EPT_INT(0)) {
avr32dci_mod_ien(sc, AVR32_INT_EPT_INT(ep_no), 0);