VfSetVerifierInformationEx

__int64 __fastcall VfSetVerifierInformationEx(__int64 a1){
  unsigned int v2; 
  _VERIFIER_MODE v3; 
  NTSTATUS v4; 
  __m128i v5; 
  _UNICODE_STRING Destination; 
  PVOID P[2]; 

  Destination = 0i64;
  v2 = *(_DWORD *)(a1 + 24);
  v3 = *(_DWORD *)a1;
  if( !v3 || (v4 = VfSetVerifierRunningMode(v3), v4 >= 0) )
  {
    if( !v2 )
      goto LABEL_7;
    if( v2 == -1 )
      v2 = 0;
    v4 = VfWdSetCancelTimeout(v2);
    if( v4 >= 0 )
    {
LABEL_7:
      ++dword_140C2A698;
      v4 = VfProbeAndCaptureUnicodeString(&Destination, (_UNICODE_STRING *)(a1 + 8), NonPagedPoolNx);
      if( v4 >= 0 )
      {
        VfDriverLock();
        v5 = (__m128i)xmmword_140C2A6A0;
        *(_OWORD *)P = xmmword_140C2A6A0;
        xmmword_140C2A6A0 = (__int128)Destination;
        ViDriversLoadLockOwner = 0i64;
        KeReleaseMutex(&ViDriversLoadLock, 0);
        if( (unsigned __int16)_mm_cvtsi128_si32(v5) )
          ExFreePoolWithTag(P[1], 0);
      }
    }
  }
  return(unsigned int)v4;
}

Referenced by:

NtSetSystemInformation