1 files changed, 3 insertions, 0 deletions
diff --git a/riscv/insns/rev.h b/riscv/insns/rev.h
new file mode 100644
index 00000000..c2f9dd42
--- /dev/null
+++ b/riscv/insns/rev.h
@@ -0,0 +1,3 @@
+require_extension('P');
+
+#include "grevi.h"