DEVCTXBASE
asd_write_reg_addr(asd_ha, DEVCTXBASE, (dma_addr_t) dma_addr);
asd_write_reg_addr(asd_ha, DEVCTXBASE, dma_handle);