anchor.diff:                 if (!tlp.eof)
                     route_to_portal <= True;
               end
  +	    else begin
  +	       tlp_portal_drop_count_reg <= tlp_portal_drop_count_reg + 1;
  +	    end
            end
   	 else if (is_axi_completion) begin
               // send to AXI interface if it will accept
  
positive.code:                if (!tlp.eof)
                    route_to_axi <= True;
              end
  	 end
           else begin
              // unknown packet type -- just discard it
  
negative.code:                                                             , msix_enabled
                                                              , msix_mask_all_intr
                                                              , msi_enabled
  							    , dispatcher.tlp_portal_drop_count
  							    , dispatcher.tlp_axi_drop_count
  							    , portalResetIfc
                                                              );
     Reg#(Bit#(32)) timestamp <- mkReg(0);
  