1/* 2 * Copyright (c) 2006 The Regents of The University of Michigan 3 * All rights reserved. 4 * 5 * Redistribution and use in source and binary forms, with or without 6 * modification, are permitted provided that the following conditions are 7 * met: redistributions of source code must retain the above copyright 8 * notice, this list of conditions and the following disclaimer; --- 23 unchanged lines hidden (view full) --- 32#define __CPU_CHECKER_THREAD_CONTEXT_HH__ 33 34#include "arch/types.hh" 35#include "cpu/checker/cpu.hh" 36#include "cpu/simple_thread.hh" 37#include "cpu/thread_context.hh" 38 39class EndQuiesceEvent; |
40namespace TheISA { 41 namespace Kernel { 42 class Statistics; 43 }; |
44}; 45 46/** 47 * Derived ThreadContext class for use with the Checker. The template 48 * parameter is the ThreadContext class used by the specific CPU being 49 * verified. This CheckerThreadContext is then used by the main CPU 50 * in place of its usual ThreadContext class. It handles updating the 51 * checker's state any time state is updated externally through the --- 36 unchanged lines hidden (view full) --- 88 System *getSystemPtr() { return actualTC->getSystemPtr(); } 89 90 PhysicalMemory *getPhysMemPtr() { return actualTC->getPhysMemPtr(); } 91 92 TheISA::ITB *getITBPtr() { return actualTC->getITBPtr(); } 93 94 TheISA::DTB *getDTBPtr() { return actualTC->getDTBPtr(); } 95 |
96 TheISA::Kernel::Statistics *getKernelStats() 97 { return actualTC->getKernelStats(); } |
98 99 FunctionalPort *getPhysPort() { return actualTC->getPhysPort(); } 100 101 VirtualPort *getVirtPort(ThreadContext *tc = NULL) 102 { return actualTC->getVirtPort(); } 103 104 void delVirtPort(VirtualPort *vp) { actualTC->delVirtPort(vp); } 105#else --- 202 unchanged lines hidden --- |