VfSetVerifierInformationEx

__int64 __fastcall VfSetVerifierInformationEx(int *a1){
  unsigned int v2; 
  int v3; 
  int v4; 
  INT64 v5; 
  INT64 v6; 
  INT64 v7; 
  __m128i v8; 
  UNICODE_STRING Destination; 
  PVOID P[2]; 
  Destination = 0i64;
  v2 = a1[6];
  v3 = *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 + 2), NonPagedPoolNx);
      if( v4 >= 0 )
      {
        VfDriverLock(v6, v5, v7);
        v8 = (__m128i)xmmword_140C2A6A0;
        *(_OWORD *)P = xmmword_140C2A6A0;
        xmmword_140C2A6A0 = (__int128)Destination;
        ViDriversLoadLockOwner = 0i64;
        KeReleaseMutex(&ViDriversLoadLock, 0);
        if( (unsigned __int16)_mm_cvtsi128_si32(v8) )
          ExFreePoolWithTag(P[1], 0);
      }
    }
  }
  return(unsigned int)v4;
}

Referenced by:

NtSetSystemInformation