rv_amo_insn
return rv_amo_insn(0, aq, rl, rs2, rs1, 2, rd, 0x2f);
return rv_amo_insn(0xc, aq, rl, rs2, rs1, 2, rd, 0x2f);
return rv_amo_insn(0x8, aq, rl, rs2, rs1, 2, rd, 0x2f);
return rv_amo_insn(0x4, aq, rl, rs2, rs1, 2, rd, 0x2f);
return rv_amo_insn(0x1, aq, rl, rs2, rs1, 2, rd, 0x2f);
return rv_amo_insn(0x2, aq, rl, rs2, rs1, 2, rd, 0x2f);
return rv_amo_insn(0x3, aq, rl, rs2, rs1, 2, rd, 0x2f);
return rv_amo_insn(0x5, aq, rl, rs2, rs1, 2, rd, 0x2f);
return rv_amo_insn(0x5, aq, rl, rs2, rs1, 3, rd, 0x2f);
return rv_amo_insn(0, aq, rl, rs2, rs1, 3, rd, 0x2f);
return rv_amo_insn(0xc, aq, rl, rs2, rs1, 3, rd, 0x2f);
return rv_amo_insn(0x8, aq, rl, rs2, rs1, 3, rd, 0x2f);
return rv_amo_insn(0x4, aq, rl, rs2, rs1, 3, rd, 0x2f);
return rv_amo_insn(0x1, aq, rl, rs2, rs1, 3, rd, 0x2f);
return rv_amo_insn(0x2, aq, rl, rs2, rs1, 3, rd, 0x2f);
return rv_amo_insn(0x3, aq, rl, rs2, rs1, 3, rd, 0x2f);