GMAC_VERSION_SNPS_MASK
printf(": rev 0x%02x", version & GMAC_VERSION_SNPS_MASK);
if ((version & GMAC_VERSION_SNPS_MASK) > 0x35) {
printf(": rev 0x%02x, address %s\n", version & GMAC_VERSION_SNPS_MASK,