anchor.diff:  	 reqs[i].enq(req);
         endrule
   
  -   
      // pipeline the address lookup
      for(Integer i = 0; i < 2; i=i+1) begin
         rule stage2;
  
positive.code:    let page_shift4 = fromInteger(valueOf(SGListPageShift4));
     let page_shift8 = fromInteger(valueOf(SGListPageShift8));
     
     let ord0 = 40'd1 << page_shift0;
     let ord4 = 40'd1 << page_shift4;
     let ord8 = 40'd1 << page_shift8;
  
     function BRAMServer#(a,b) portsel(BRAM2Port#(a,b) x, Integer i);
        if(i==0) return x.portA;
        else return x.portB;
  
negative.code:       dmaIndication.configResp(extend(ptr));
     endrule
  
     Reg#(Bit#(8))                      idxReg <- mkReg(0);
  
     Vector#(2,Server#(ReqTup,Bit#(addrWidth))) addrServers;
     for(Integer i = 0; i < 2; i=i+1)
  