1 2 3 4 5 6
require_extension('A'); require_rv64; bool have_reservation = MMU.store_conditional<uint64_t>(RS1, RS2); WRITE_RD(!have_reservation);