RISCV_ISA_EXT_SVINVAL
__RISCV_ISA_EXT_DATA(svinval, RISCV_ISA_EXT_SVINVAL),
#define has_svinval() riscv_has_extension_unlikely(RISCV_ISA_EXT_SVINVAL)