src/mem/mem_checker.hh

60  * As memory operations have a start and completion time, we consider them as
61  * transactions which have a start and end time. Because of this, the lifetimes
113               start(_start), complete(_complete),
119         Tick start;    //!< Start tick
124          * for writes, the value written upon start; for reads, the value read
145             : start(TICK_FUTURE), complete(TICK_FUTURE),
181         Tick start;     //!< Start of earliest write in cluster
211             // The initial transaction has start == complete == TICK_INITIAL,
223          * @param start   When the read was sent off to the memory subsystem.
225         void startRead(Serial serial, Tick start);
228          * Given a start and end time (of any read transaction), this function
237          *    this start time (if any).
240          *    the last observed read start time. Only data produced in the
245          * @param start     Start time of transaction to validate.
251         bool inExpectedData(Tick start, Tick complete, uint8_t data);
267          * @param start   When the write was sent off to the memory subsystem.
271         void startWrite(Serial serial, Tick start, uint8_t data);
385      * @param start  Tick this read was sent to the memory subsystem.
391     Serial startRead(Tick start, Addr addr, size_t size);
396      * @param start Tick when this write was sent to the memory subsystem.
403     Serial startWrite(Tick start, Addr addr, size_t size, const uint8_t *data);
448      * then reset() was called, followed by a start of a transaction with the
517 MemChecker::startRead(Tick start, Addr addr, size_t size)
520             "starting read: serial = %d, start = %d, addr = %#llx, "
521             "size = %d\n", nextSerial, start, addr , size);
524         getByteTracker(addr + i)->startRead(nextSerial, start);
531 MemChecker::startWrite(Tick start, Addr addr, size_t size, const uint8_t *data)
534             "starting write: serial = %d, start = %d, addr = %#llx, "
535             "size = %d\n", nextSerial, start, addr, size);
538         getByteTracker(addr + i)->startWrite(nextSerial, start, data[i]);