aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/sha512sig0l.h
diff options
context:
space:
mode:
Diffstat (limited to 'riscv/insns/sha512sig0l.h')
-rw-r--r--riscv/insns/sha512sig0l.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/insns/sha512sig0l.h b/riscv/insns/sha512sig0l.h
index 99d7aa9..599a6a1 100644
--- a/riscv/insns/sha512sig0l.h
+++ b/riscv/insns/sha512sig0l.h
@@ -1,6 +1,6 @@
require_rv32;
-require_extension('K');
+require_extension(EXT_ZKNH);
reg_t result =
(zext32(RS1) >> 1) ^ (zext32(RS1) >> 7) ^ (zext32(RS1) >> 8) ^