# import zbkb
$import rv_zbb::rol
$import rv_zbb::ror
$import rv_zbb::andn
$import rv_zbb::orn
$import rv_zbb::xnor
$import rv_zbkb::pack
$import rv_zbkb::packh
$pseudo_op rv64_zbp::grevi brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3

#import zbkc
$import rv_zbc::clmul
$import rv_zbc::clmulh

#import zbkx
$import rv_zbkx::xperm4
$import rv_zbkx::xperm8

# Scalar SM4 - RV32, RV64
$import rv_zksed::sm4ed
$import rv_zksed::sm4ks

# Scalar SM3 - RV32, RV64
$import rv_zksh::sm3p0
$import rv_zksh::sm3p1