VOID __stdcall ExpWnfStartKernelDispatcher(UINT64 Synchronous){
if( (_DWORD)Synchronous )
{
ExpWnfDispatchKernelSubscription();
}
else
{
_InterlockedOr((volatile signed __int32 *)(ExpWnfDispatcher + 40), 2u);
if( _InterlockedCompareExchange((volatile signed __int32 *)(ExpWnfDispatcher + 40), 3, 2) == 2 )
ExQueueWorkItem((PWORK_QUEUE_ITEM)(ExpWnfDispatcher + 8), DelayedWorkQueue);
}
}