Jungo WinDriver  
Official Documentation

◆ kp_interlocked_exchange()

int kp_interlocked_exchange ( KP_INTERLOCKED target,
int  val 
)

Sets the value of a Kernel PlugIn interlocked counter to the specified value and returns the previous value of the counter.

Parameters
[in,out]targetPointer to the Kernel PlugIn interlocked counter to exchange
[in]valThe new value to set for the interlocked counter (target)
Returns
Returns the previous value of the interlocked counter (target).