Jungo WinDriver  
Official Documentation

◆ kp_spinlock_release()

void kp_spinlock_release ( KP_SPINLOCK spinlock)

Releases a Kernel PlugIn spinlock object.

Parameters
[in]spinlockPointer to the Kernel PlugIn spinlock object on which to release
Returns
None