Jungo WinDriver  
Official Documentation

◆ kp_spinlock_uninit()

void kp_spinlock_uninit ( KP_SPINLOCK spinlock)

Uninitializes a Kernel PlugIn spinlock object.

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