306,307c306,307
< assert(pkt->getAddr() >= range.start &&
< (pkt->getAddr() + pkt->getSize() - 1) <= range.end);
---
> assert(AddrRange(pkt->getAddr(),
> pkt->getAddr() + pkt->getSize() - 1).isSubset(range));
315c315
< uint8_t *hostAddr = pmemAddr + pkt->getAddr() - range.start;
---
> uint8_t *hostAddr = pmemAddr + pkt->getAddr() - range.start();
387,388c387,388
< assert(pkt->getAddr() >= range.start &&
< (pkt->getAddr() + pkt->getSize() - 1) <= range.end);
---
> assert(AddrRange(pkt->getAddr(),
> pkt->getAddr() + pkt->getSize() - 1).isSubset(range));
390c390
< uint8_t *hostAddr = pmemAddr + pkt->getAddr() - range.start;
---
> uint8_t *hostAddr = pmemAddr + pkt->getAddr() - range.start();