VOID TcpipAcquireSpinLockAtDpcLevel(PKSPIN_LOCK SpinLock)
VOID TcpipReleaseSpinLockFromDpcLevel(PKSPIN_LOCK SpinLock)
VOID TcpipReleaseSpinLock(PKSPIN_LOCK SpinLock, KIRQL Irql)
VOID TcpipAcquireFastMutex(PFAST_MUTEX Mutex)
VOID TcpipInterlockedInsertTailList(PLIST_ENTRY ListHead, PLIST_ENTRY Item, PKSPIN_LOCK Lock)
VOID TcpipReleaseFastMutex(PFAST_MUTEX Mutex)
VOID TcpipInitializeSpinLock(PKSPIN_LOCK SpinLock)
VOID TcpipAcquireSpinLock(PKSPIN_LOCK SpinLock, PKIRQL Irql)
KIRQL TcpipGetCurrentIrql()
_In_ WDFCOLLECTION _In_ WDFOBJECT Item
_Must_inspect_result_ _In_opt_ PWDF_OBJECT_ATTRIBUTES _Out_ WDFSPINLOCK * SpinLock
_Must_inspect_result_ _In_opt_ PWDF_OBJECT_ATTRIBUTES _Out_ WDFWAITLOCK * Lock