TCR
hypctx->tcr_el1 = READ_SPECIALREG(EL1_REG(TCR));
WRITE_SPECIALREG(EL1_REG(TCR), hypctx->tcr_el1);
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);