diff --git a/wally-pipelined/src/ebu/pmachecker.sv b/wally-pipelined/src/ebu/pmachecker.sv
index bb2a124c6..2b683b380 100644
--- a/wally-pipelined/src/ebu/pmachecker.sv
+++ b/wally-pipelined/src/ebu/pmachecker.sv
@@ -29,12 +29,13 @@
 
 module pmachecker (
   input  logic [31:0] HADDR,
-  input  logic        HSIZE,
+  input  logic [2:0]  HSIZE,
   input  logic        HWRITE,
-  input  logic        HBURST,
+  input  logic [2:0]  HBURST,
 
   input  logic        Atomic, Execute, Write, Read,
 
+  // *** Add pipeline suffixes
   output logic        Cacheable, Idempotent, AtomicAllowed,
   output logic        SquashAHBAccess,
 
diff --git a/wally-pipelined/src/privileged/privileged.sv b/wally-pipelined/src/privileged/privileged.sv
index f4b9e74c7..b1b60142d 100644
--- a/wally-pipelined/src/privileged/privileged.sv
+++ b/wally-pipelined/src/privileged/privileged.sv
@@ -56,7 +56,8 @@ module privileged (
 
   // PMA checker signals
   input  logic [31:0]      HADDR,
-  input  logic             HSIZE, HWRITE, HBURST,
+  input  logic [2:0]       HSIZE, HBURST,
+  input  logic             HWRITE,
   input  logic             Atomic, Execute, Write, Read,
   output logic             Cacheable, Idempotent, AtomicAllowed,
   output logic             SquashAHBAccess,