TCR
READ_SPECIALREG(EL1_REG(TCR)));
WRITE_SPECIALREG(EL1_REG(TCR),
tcr = smc_read_2(sc, TCR);
smc_write_2(sc, TCR, tcr);
smc_write_2(sc, TCR, 0);
smc_write_2(sc, TCR, TCR_TXENA | TCR_PAD_EN);
smc_write_2(sc, TCR, 0);
tcr = smc_read_2(sc, TCR);
smc_write_2(sc, TCR, tcr);