2c2
< * Copyright (c) 2010 ARM Limited
---
> * Copyright (c) 2010-2011 ARM Limited
50a51
> #include "config/use_checker.hh"
58a60,63
> #if USE_CHECKER
> #include "cpu/checker/cpu.hh"
> #endif // USE_CHECKER
>
296a302,308
> // Initialize the checker's dcache port here
> #if USE_CHECKER
> if (cpu->checker) {
> cpu->checker->setDcachePort(cpu->getDcachePort());
> }
> #endif
>