anchor.diff:  interface HdmiDisplayRequest;
      method Action startFrameBuffer0(Int#(32) base);
      method Action getTransferStats();
  +   method Action setTraceTransfers(Bool trace);
   endinterface
   interface HdmiDisplayIndication;
      method Action transferStarted(Bit#(32) count);
  
positive.code:        method Action getTransferStats();
            hdmiDisplayIndication.transferStats(transferCount, transferCycles, extend(transferSumOfCycles));
         endmethod
      endinterface: displayRequest
  
      interface ObjectReadClient dmaClient = memreadEngine.dmaClient;
  
negative.code:    Reg#(Bit#(32)) transferCycles <- mkReg(0);
     Reg#(Bit#(48)) transferSumOfCycles<- mkReg(0);
  
     Reg#(Bool) traceTransfers <- mkReg(False);
     rule notransfer if (referenceReg matches tagged Invalid);
        vsyncFifo.deq();
     endrule
     rule startTransfer if (referenceReg matches tagged Valid .reference);
        memreadEngine.start(reference, 0, (1080*1920)*4, 64);
        if (traceTransfers)
  	 hdmiDisplayIndication.transferStarted(transferCount);
        transferCycles <= 0;
        vsyncFifo.deq();
     endrule
  