diff options
-rw-r--r-- | riscv/insns/sfence_w_inval.h | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/riscv/insns/sfence_w_inval.h b/riscv/insns/sfence_w_inval.h index f566d63..d1af529 100644 --- a/riscv/insns/sfence_w_inval.h +++ b/riscv/insns/sfence_w_inval.h @@ -1,3 +1 @@ -require_extension('S'); -require_extension(EXT_SVINVAL); -require_impl(IMPL_MMU); +#include "sfence_inval_ir.h" |