Atomically with acquire ordering: * Load the doubleword at address _xs1_ * Write the loaded value into _xd_ * Compare the loaded value with the value of register _xs2_ * If equal, write the value of register _xs2+1_ to the address in _xs1_
amocas.d.aq xd, xs2, (xs1)Type: R