Jungo WinDriver  
Official Documentation

◆ kp_interlocked_read()

int kp_interlocked_read ( KP_INTERLOCKED target)

Reads to the value of a Kernel PlugIn interlocked counter.

Parameters
[in]targetPointer to the Kernel PlugIn interlocked counter to read
Returns
Returns the value of the interlocked counter (target).