anchor.diff:  	   end
   	   else begin
   	       TimestampedTlpData ttd = TimestampedTlpData { timestamp: timestamp, source: 7'h04, tlp: tlp };
  -	       csr.tlpDataBram.request.put(BRAMRequest{ write: True, responseOnWrite: False, address: truncate(csr.tlpDataBramWrAddr), datain: ttd });
  -	       csr.tlpDataBramWrAddr <= csr.tlpDataBramWrAddr + 1;
  +	       csr.fromPcieTraceBramPort.request.put(BRAMRequest{ write: True, responseOnWrite: False, address: truncate(csr.fromPcieTraceBramWrAddr), datain: ttd });
  +	       csr.fromPcieTraceBramWrAddr <= csr.fromPcieTraceBramWrAddr + 1;
   	       skippingIncomingTlps <= False;
   	   end
          end
  
positive.code: import Memory               :: *;
  import Portal               :: *;
  import Bscan                :: *;
  
  typedef 11 TlpTraceAddrSize;
  
  typedef struct {
      Bit#(32) timestamp;
  
negative.code:       endactionvalue
     endfunction: do_read
  
     rule brmMuxResponse;
         let v <- bramMux.bramServer.response.get();
         pcieTraceBramResponse <= v;
     endrule
  
     // Supply data (with dword granularity and byte enables) to be
  