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