DC395x_read32
DC395x_read32(acb, TRM_S1040_SCSI_COUNTER);
sc = DC395x_read32(acb, TRM_S1040_SCSI_COUNTER);