sm4ks No synopsis available No description available. Assembly format sm4ks rd, rs1, rs2, bs Decode Variables Bits<2> bs = $encoding[31:30]; Bits<5> xs2 = $encoding[24:20]; Bits<5> xs1 = $encoding[19:15]; Bits<5> xd = $encoding[11:7]; Execution IDL Encoding Defining extension Zksed Access M Always Containing profiles Mandatory: None Optional: None