diff --git a/libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h b/libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h
index 9275a75..b5d4f3b 100644
--- a/libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h
+++ b/libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h
@@ -23,7 +23,7 @@
 #define PMU_READ(reg, v) asm volatile("mrs %0, " reg :  "=r"(v))
 
 #define PMUSERENR   "PMUSERENR_EL0"
-#define PMINTENCLR  "PMINTENCLR_EL0"
+#define PMINTENCLR  "PMINTENCLR_EL1"
 #define PMINTENSET  "PMINTENSET_EL1"
 #define PMCR        "PMCR_EL0"
 #define PMCNTENCLR  "PMCNTENCLR_EL0"