1/*
2 * Copyright (c) 2011-2012 ARM Limited
3 * Copyright (c) 2013 Advanced Micro Devices, Inc.
4 * All rights reserved
5 *
6 * The license below extends only to copyright in the software and shall
7 * not be construed as granting a license to any other intellectual
8 * property including but not limited to intellectual property relating

--- 116 unchanged lines hidden (view full) ---

125
126 System *getSystemPtr() { return actualTC->getSystemPtr(); }
127
128 TheISA::Kernel::Statistics *getKernelStats()
129 { return actualTC->getKernelStats(); }
130
131 Process *getProcessPtr() { return actualTC->getProcessPtr(); }
132
133 void setProcessPtr(Process *p) { actualTC->setProcessPtr(p); }
134
135 PortProxy &getPhysProxy() { return actualTC->getPhysProxy(); }
136
137 FSTranslatingPortProxy &getVirtProxy()
138 { return actualTC->getVirtProxy(); }
139
140 void initMemProxies(ThreadContext *tc)
141 { actualTC->initMemProxies(tc); }
142

--- 108 unchanged lines hidden (view full) ---

251 {
252 DPRINTF(Checker, "Changing PC to %s, old PC %s\n",
253 val, checkerTC->pcState());
254 checkerTC->pcState(val);
255 checkerCPU->recordPCChange(val);
256 return actualTC->pcState(val);
257 }
258
259 void setNPC(Addr val)
260 {
261 checkerTC->setNPC(val);
262 actualTC->setNPC(val);
263 }
264
265 void pcStateNoRecord(const TheISA::PCState &val)
266 {
267 return actualTC->pcState(val);
268 }
269
270 /** Reads this thread's PC. */
271 Addr instAddr()
272 { return actualTC->instAddr(); }

--- 72 unchanged lines hidden ---