IE0_TXINT
sca_out(IE0_TXINT, MSCI0_OFFSET + IE0, port);
sca_out(IE0_TXINT | IE0_RXINTA, msci + IE0, card);