1 2 3 4 5 6 7 8 9
require_extension('A'); require_rv64; if (RS1 == p->get_state()->load_reservation) { MMU.store_uint64(RS1, RS2); WRITE_RD(0); } else WRITE_RD(1);