diff options
| author | Palmer Dabbelt <palmer@sifive.com> | 2017-11-28 14:02:50 -0800 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@sifive.com> | 2017-11-28 14:03:29 -0800 |
| commit | 8286d51a6c244738aeb071fcd7d2e36a3374e150 (patch) | |
| tree | 6c54619aa865b731d9682c39cc27e40d65090fd0 /lib/mpi/mpiutil.c | |
| parent | 4650d02ad2d9b2c1c7aa36055166db6aee68f72e (diff) | |
RISC-V: Comment on why {,cmp}xchg is ordered how it is
This is another memory model FIXME.
Signed-off-by: Palmer Dabbelt <palmer@sifive.com>
Diffstat (limited to 'lib/mpi/mpiutil.c')
0 files changed, 0 insertions, 0 deletions