ENETC_PSIPMAR1
high = ENETC_PORT_RD2(sc, ENETC_PSIPMAR1(0));
ENETC_PORT_WR2(sc, ENETC_PSIPMAR1(0), high);