kp_interlocked_set()

void kp_interlocked_set	(	KP_INTERLOCKED *	target,
		int	val
	)

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

Parameters

[in,out]	target	Pointer to the Kernel PlugIn interlocked counter to set
[in]	val	The value to set for the interlocked counter (target)

Returns

None