Symbol: RISCV_ISA_EXT_ZKSH