GMAC_TX_PKTS_512TO1023OCTETS_REG
+= dsaf_read_dev(drv, GMAC_TX_PKTS_512TO1023OCTETS_REG);
regs[51] = dsaf_read_dev(drv, GMAC_TX_PKTS_512TO1023OCTETS_REG);