diff options
Diffstat (limited to 'src/cpu/checker/exec_context.hh')
-rw-r--r-- | src/cpu/checker/exec_context.hh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/cpu/checker/exec_context.hh b/src/cpu/checker/exec_context.hh index 7d30e736a..054739a6a 100644 --- a/src/cpu/checker/exec_context.hh +++ b/src/cpu/checker/exec_context.hh @@ -38,6 +38,13 @@ namespace Kernel { class Statistics; }; +/** + * Derived ExecContext class for use with the Checker. The template + * parameter is the ExecContext class used by the specific CPU being + * verified. This CheckerExecContext is then used by the main CPU in + * place of its usual ExecContext class. It handles updating the + * checker's state any time state is updated through the ExecContext. + */ template <class XC> class CheckerExecContext : public ExecContext { |