src/mem/mem_checker.hh

82     static const Serial  SERIAL_INITIAL = 0; //!< Initial serial
112             : serial(_serial),
118         Serial serial; //!< Unique identifying serial
133         { return serial < rhs.serial; }
152          * @param serial  Unique identifier of the write.
157         void startWrite(Serial serial, Tick _start, uint8_t data);
162          * @param serial    Unique identifier of a write *previously started*.
166         void completeWrite(Serial serial, Tick _complete);
171          * @param serial Unique identifier of a write *previously started*.
173         void abortWrite(Serial serial);
222          * @param serial  Unique identifier for the read.
225         void startRead(Serial serial, Tick start);
256          * @param serial   Unique identifier of a read *previously started*.
260         bool completeRead(Serial serial, Tick complete, uint8_t data);
266          * @param serial  Unique identifier of the write.
271         void startWrite(Serial serial, Tick start, uint8_t data);
277          * @param serial   Unique identifier of a write *previously started*.
280         void completeWrite(Serial serial, Tick complete);
286          * @param serial Unique identifier of a write *previously started*.
288         void abortWrite(Serial serial);
408      * @param serial    A serial of a read that was previously started and
418     bool completeRead(Serial serial, Tick complete,
424      * @param serial    A serial of a write that was previously started and
431     void completeWrite(Serial serial, Tick complete, Addr addr, size_t size);
436      * @param serial    A serial of a write that was previously started and
441     void abortWrite(Serial serial, Addr addr, size_t size);
447      * condition: where a transaction started before a reset with serial S,
449      * same serial S and then receive a completion of the transaction before
450      * the reset with serial S.
497      * Next distinct serial to be assigned to the next transaction to be
520             "starting read: serial = %d, start = %d, addr = %#llx, "
534             "starting write: serial = %d, start = %d, addr = %#llx, "
545 MemChecker::completeWrite(MemChecker::Serial serial, Tick complete,
549             "completing write: serial = %d, complete = %d, "
550             "addr = %#llx, size = %d\n", serial, complete, addr, size);
553         getByteTracker(addr + i)->completeWrite(serial, complete);
558 MemChecker::abortWrite(MemChecker::Serial serial, Addr addr, size_t size)
561             "aborting write: serial = %d, addr = %#llx, size = %d\n",
562             serial, addr, size);
565         getByteTracker(addr + i)->abortWrite(serial);