set WFI timeout to after 16 bits of counting for all configs

pipelined/config/buildroot/wally-config.vh

@@ -78,7 +78,7 @@
 `define RESET_VECTOR 64'h0000000000001000
 
 // WFI Timeout Wait
-`define WFI_TIMEOUT_BIT 20
+`define WFI_TIMEOUT_BIT 16
 
 // Peripheral Addresses
 // Peripheral memory space extends from BASE to BASE+RANGE

pipelined/config/fpga/wally-config.vh

@@ -80,7 +80,7 @@
 `define RESET_VECTOR 64'h0000000000001000
 
 // WFI Timeout Wait
-`define WFI_TIMEOUT_BIT 20
+`define WFI_TIMEOUT_BIT 16
 
 // Peripheral Addresses
 // Peripheral memory space extends from BASE to BASE+RANGE

pipelined/config/rv32e/wally-config.vh

@@ -81,7 +81,7 @@
 `define RESET_VECTOR 32'h80000000
 
 // WFI Timeout Wait
-`define WFI_TIMEOUT_BIT 20
+`define WFI_TIMEOUT_BIT 16
 
 // Peripheral Addresses
 // Peripheral memory space extends from BASE to BASE+RANGE

pipelined/config/rv32gc/wally-config.vh

@@ -79,7 +79,7 @@
 `define RESET_VECTOR 32'h80000000
 
 // WFI Timeout Wait
-`define WFI_TIMEOUT_BIT 20
+`define WFI_TIMEOUT_BIT 16
 
 // Peripheral Addresses
 // Peripheral memory space extends from BASE to BASE+RANGE

pipelined/config/rv32i/wally-config.vh

@@ -81,7 +81,7 @@
 `define RESET_VECTOR 32'h80000000
 
 // WFI Timeout Wait
-`define WFI_TIMEOUT_BIT 5
+`define WFI_TIMEOUT_BIT 16
 
 // Peripheral Addresses
 // Peripheral memory space extends from BASE to BASE+RANGE

pipelined/config/rv32ic/wally-config.vh

@@ -79,7 +79,7 @@
 `define RESET_VECTOR 32'h80000000
 
 // WFI Timeout Wait
-`define WFI_TIMEOUT_BIT 20
+`define WFI_TIMEOUT_BIT 16
 
 // Peripheral Addresses
 // Peripheral memory space extends from BASE to BASE+RANGE

pipelined/config/rv64BP/wally-config.vh

@@ -83,7 +83,7 @@
 `define AHBW 64
 
 // WFI Timeout Wait
-`define WFI_TIMEOUT_BIT 20
+`define WFI_TIMEOUT_BIT 16
 
 // Peripheral Addresses
 // Peripheral memory space extends from BASE to BASE+RANGE

pipelined/config/rv64fp/wally-config.vh

@@ -85,7 +85,7 @@
 // Range should be a thermometer code with 0's in the upper bits and 1s in the lower bits
 
 // WFI Timeout Wait
-`define WFI_TIMEOUT_BIT 20
+`define WFI_TIMEOUT_BIT 16
 
 // *** each of these is `PA_BITS wide. is this paramaterizable INSIDE the config file?
 `define BOOTROM_SUPPORTED 1'b1

pipelined/config/rv64gc/wally-config.vh

@@ -83,7 +83,7 @@
 `define AHBW 64
 
 // WFI Timeout Wait
-`define WFI_TIMEOUT_BIT 20
+`define WFI_TIMEOUT_BIT 16
 
 // Peripheral Physiccal Addresses
 // Peripheral memory space extends from BASE to BASE+RANGE

pipelined/config/rv64i/wally-config.vh

@@ -83,7 +83,7 @@
 `define AHBW 64
 
 // WFI Timeout Wait
-`define WFI_TIMEOUT_BIT 5
+`define WFI_TIMEOUT_BIT 16
 
 // Peripheral Physiccal Addresses
 // Peripheral memory space extends from BASE to BASE+RANGE

pipelined/config/rv64ic/wally-config.vh

@@ -83,7 +83,7 @@
 `define AHBW 64
 
 // WFI Timeout Wait
-`define WFI_TIMEOUT_BIT 20
+`define WFI_TIMEOUT_BIT 16
 
 // Peripheral Physiccal Addresses
 // Peripheral memory space extends from BASE to BASE+RANGE