mem-ruby: Populate missing txnId field to CompDBID_Stale response

Change-Id: I6861d27063b13cd710e09c153d15062640c887fe
Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
This commit is contained in:
Giacomo Travaglini
2023-09-18 15:20:04 +01:00
parent 320454b75f
commit aec1d081c8

View File

@@ -2644,6 +2644,7 @@ action(Send_CompDBIDResp_Stale, desc="") {
out_msg.type := CHIResponseType:CompDBIDResp;
out_msg.responder := machineID;
out_msg.Destination.add(tbe.requestor);
out_msg.txnId := tbe.txnId;
out_msg.dbid := tbe.txnId;
// We don't know if this is a stale writeback or a bug, so flag the
// reponse so the requestor can make further checks