# HG changeset patch
# Parent e7b322b7e72d9c69f43de6c14bc66e10c214d69f
xbar

diff -r e7b322b7e72d src/mem/xbar.hh
--- a/src/mem/xbar.hh	Wed Jul 08 12:24:37 2015 +0200
+++ b/src/mem/xbar.hh	Wed Jul 08 12:39:47 2015 +0200
@@ -340,7 +340,7 @@
      *
      * @param master_port_id id of the port that received the change
      */
-    void recvRangeChange(PortID master_port_id);
+    virtual void recvRangeChange(PortID master_port_id);
 
     /** Find which port connected to this crossbar (if any) should be
      * given a packet with this address.