47a48
> #include "cpu/checker/cpu.hh"
56,59d56
< #if USE_CHECKER
< #include "cpu/checker/cpu.hh"
< #endif
<
874,878c871,876
< #if USE_CHECKER
< // Make sure to set the LLSC data for verification
< inst->reqToVerify->setExtraData(0);
< inst->completeAcc(data_pkt);
< #endif
---
> if (cpu->checker) {
> // Make sure to set the LLSC data for verification
> // if checker is loaded
> inst->reqToVerify->setExtraData(0);
> inst->completeAcc(data_pkt);
> }
1086c1084
< #if USE_CHECKER
---
>
1090d1087
< #endif
1177d1173
< #if USE_CHECKER
1181d1176
< #endif