Set new values for a sub-set of the bits in a HW register Sets destination bits to values specified in \p values, if and only if corresponding bit in \p write_mask is set Note: this method allows safe concurrent modification of *different* bits of a register, but multiple concurrent access to the same bits is still unsafe.