Re: [RFC 0/7] RISCV: Implement ISA Manual Table A.6 Mappings

The litmus test in this RFC is flawed since it does not assert that the LR/SC pair succeeds. The condition in the RFC is permitted iff the LR/SC pair fails. After correcting this flaw [1][2], the litmus test condition is correctly forbidden. This correction does not mean that the A.6 mapping is

[RFC 0/7] RISCV: Implement ISA Manual Table A.6 Mappings

This series should not be applied as it causes an ABI break. This RFC aims to bring the RISCV atomics implementation in line with the recommended mapping present in table A.6 of the ISA manual.