support RISC-V64: define arch_host (#354)

angr · Oct 2, 2023 · fa37536 · fa37536
1 parent 51cbb04
commit fa37536
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/pyvex_c/pyvex.c b/pyvex_c/pyvex.c
@@ -179,6 +179,10 @@ int vex_init() {
 #  endif
 #elif defined(__powerpc__)
         vta.arch_host = VexArchPPC64;
+#elif defined(__riscv)
+#  if defined(__riscv_xlen) && (__riscv_xlen == 64)
+	vta.arch_host = VexArchRISCV64;
+#  endif
 #else
 #error "Unsupported host arch"
 #endif