ExpWnfStartKernelDispatcher

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

Referenced by:

ExpWnfNotifyNameSubscribers
ExpWnfNotifySubscription