Symbol: RISCV_ISA_EXT_SVINVAL