Atomically with acquire and release ordering: * Load the halfword at address _xs1_ * Write the sign-extended value into _xd_ * Signed compare the least-significant halfword of register _xs2_ to the loaded value, and select the maximum value * Write the maximum to the address in _xs1_
amomax.h.aqrl xd, xs2, (xs1)Type: R