diff options
Diffstat (limited to 'src/cpu/checker/cpu.cc')
| -rw-r--r-- | src/cpu/checker/cpu.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cpu/checker/cpu.cc b/src/cpu/checker/cpu.cc index 1c36ad22d..4305f7ab0 100644 --- a/src/cpu/checker/cpu.cc +++ b/src/cpu/checker/cpu.cc @@ -240,8 +240,8 @@ CheckerCPU::write(T data, Addr addr, unsigned flags, uint64_t *res) // verify this data. if (unverifiedReq && !(unverifiedReq->isUncacheable()) && - (!(unverifiedReq->isLocked()) || - ((unverifiedReq->isLocked()) && + (!(unverifiedReq->isLlsc()) || + ((unverifiedReq->isLlsc()) && unverifiedReq->getExtraData() == 1))) { T inst_data; /* |