TSEC_REG_IADDR0
TSEC_WRITE(sc, TSEC_REG_IADDR0, 0);
#define TSEC_REG_IADDR(n) (TSEC_REG_IADDR0 + (n << 2))