DIS_RISCV_A32
DIS_RISCV_A32("sc.w", 0x2f, 0x2, 0x03),
DIS_RISCV_A32("amoswap.w", 0x2f, 0x2, 0x01),
DIS_RISCV_A32("amoadd.w", 0x2f, 0x2, 0x00),
DIS_RISCV_A32("amoxor.w", 0x2f, 0x2, 0x04),
DIS_RISCV_A32("amoand.w", 0x2f, 0x2, 0x0c),
DIS_RISCV_A32("amoor.w", 0x2f, 0x2, 0x08),
DIS_RISCV_A32("amomin.w", 0x2f, 0x2, 0x10),
DIS_RISCV_A32("amomax.w", 0x2f, 0x2, 0x14),
DIS_RISCV_A32("amominu.w", 0x2f, 0x2, 0x18),
DIS_RISCV_A32("amomaxu.w", 0x2f, 0x2, 0x1c),
DIS_RISCV_A32("sc.d", 0x2f, 0x3, 0x03),
DIS_RISCV_A32("amoswap.d", 0x2f, 0x3, 0x01),
DIS_RISCV_A32("amoadd.d", 0x2f, 0x3, 0x00),
DIS_RISCV_A32("amoxor.d", 0x2f, 0x3, 0x04),
DIS_RISCV_A32("amoand.d", 0x2f, 0x3, 0x0c),
DIS_RISCV_A32("amoor.d", 0x2f, 0x3, 0x08),
DIS_RISCV_A32("amomin.d", 0x2f, 0x3, 0x10),
DIS_RISCV_A32("amomax.d", 0x2f, 0x3, 0x14),
DIS_RISCV_A32("amominu.d", 0x2f, 0x3, 0x18),
DIS_RISCV_A32("amomaxu.d", 0x2f, 0x3, 0x1c),