diff -r 1126acf9f3b6 -r 3171a6f94b55 src/arch/alpha/locked_mem.hh --- a/src/arch/alpha/locked_mem.hh Mon Nov 24 12:27:23 2014 +0000 +++ b/src/arch/alpha/locked_mem.hh Mon Nov 24 12:28:15 2014 +0000 @@ -76,9 +76,7 @@ return; Addr locked_addr = xc->readMiscReg(MISCREG_LOCKADDR) & cacheBlockMask; - Addr snoop_addr = pkt->getAddr(); - - assert((cacheBlockMask & snoop_addr) == snoop_addr); + Addr snoop_addr = pkt->getAddr() & cacheBlockMask; if (locked_addr == snoop_addr) xc->setMiscReg(MISCREG_LOCKFLAG, false); diff -r 1126acf9f3b6 -r 3171a6f94b55 src/arch/mips/locked_mem.hh --- a/src/arch/mips/locked_mem.hh Mon Nov 24 12:27:23 2014 +0000 +++ b/src/arch/mips/locked_mem.hh Mon Nov 24 12:28:15 2014 +0000 @@ -66,9 +66,7 @@ return; Addr locked_addr = xc->readMiscReg(MISCREG_LLADDR) & cacheBlockMask; - Addr snoop_addr = pkt->getAddr(); - - assert((cacheBlockMask & snoop_addr) == snoop_addr); + Addr snoop_addr = pkt->getAddr() & cacheBlockMask; if (locked_addr == snoop_addr) xc->setMiscReg(MISCREG_LLFLAG, false);