fix PADDR to 32

[pinmux.git] / src / bsv / bsv_lib / slow_tuple2_template.bsv

diff --git a/src/bsv/bsv_lib/slow_tuple2_template.bsv b/src/bsv/bsv_lib/slow_tuple2_template.bsv
index ce5989b27aaa22eec41182d790c509feb5d2d88f..dbde384b89835149097106b6da691f35a2e4d5c4 100644 (file)
--- a/src/bsv/bsv_lib/slow_tuple2_template.bsv
+++ b/src/bsv/bsv_lib/slow_tuple2_template.bsv
@@ -11,7 +11,7 @@ package slow_memory_map;
     /* ==== define the number of slow peripheral irqs ==== */
 
        function Tuple2#(Bool, Bit#(TLog#(Num_Slow_Slaves)))
-                     fn_slow_address_mapping (Bit#(`ADDR) addr);
+                     fn_slow_address_mapping (Bit#(`PADDR) addr);
         `ifdef CLINT
             if(addr>=`ClintBase && addr<=`ClintEnd)
                 return tuple2(True,fromInteger(valueOf(CLINT_slave_num)));