ATL2_MHT
AT_WRITE_4(sc, ATL2_MHT, 0);
AT_WRITE_4(sc, ATL2_MHT + 4, 0);
AT_WRITE_4(sc, ATL2_MHT, mht0);
AT_WRITE_4(sc, ATL2_MHT+4, mht1);