exchange_hazard_pointer

Description:

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

Exchange objects safely.

Parameters:

aptr	Atomic pointer.
new_ptr	New value
mask	Mask of flags.
new_mask	New mask.
old_mask	Previous mask mask.

Returns:

Hazard pointer containing old value.