dma1
} dma1; /* 0xc0 */
u_char dma1;
NSIO_READ_REG( nsioIot, nsioIoh, NSIO_CFG_DMA1, dma1 );
printf("dma1: %x\n",dma1);