exchange_hazard_pointer


Description:

public static HazardPointer<G>? exchange_hazard_pointer<G> (weak G** aptr, owned G new_ptr, size_t mask = 0, size_t new_mask = 0, out size_t old_mask = null)