blob: 54023ed4495b1d69eae2055d90aa8a73f9b97585 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
require_extension('A');
require_rv64;
bool have_reservation = MMU.check_load_reservation(RS1, 8);
if (have_reservation)
MMU.store_uint64(RS1, RS2);
MMU.yield_load_reservation();
WRITE_RD(!have_reservation);
|