+ uint64_t readMicroPC() { return actualTC->readMicroPC(); }
+
+ void setMicroPC(uint64_t val) { actualTC->setMicroPC(val); }
+
+ uint64_t readNextMicroPC() { return actualTC->readMicroPC(); }
+
+ void setNextMicroPC(uint64_t val) { actualTC->setNextMicroPC(val); }
+
+ MiscReg readMiscRegNoEffect(int misc_reg)
+ { return actualTC->readMiscRegNoEffect(misc_reg); }
+