ETSEC1_BASE
((uint64_t)le32toh(cpu_read_4(ETSEC1_BASE + MACSTNADDR1)) << 16)
| ((uint64_t)le32toh(cpu_read_4(ETSEC1_BASE + MACSTNADDR2)) << 48);
{ "tsec", ETSEC1_BASE, ETSEC_SIZE, 1,
{ "mdio", ETSEC1_BASE, ETSEC_SIZE, 1,
KASSERTMSG(cnl->cnl_addr == ETSEC1_BASE