VfPoolInitPhase0

VOID __stdcall VfPoolInitPhase0(){
  unsigned int v0; 
  int v1; 

  if( (MmVerifierData & 0xFBF) != 0 && ((MmVerifierData & 0x400000) == 0 || (MmVerifierData & 8) != 0) )
  {
    v0 = VfPoolTracesLength;
    if( (unsigned int)VfPoolTracesLength >= 0x10000 )
    {
      v1 = 0x100000;
      if( (unsigned int)VfPoolTracesLength <= 0x100000 )
      {
        while( (v1 & VfPoolTracesLength) == 0 )
        {
          v1 >>= 1;
          if( v1 < 0x10000 )
            goto LABEL_12;
        }
        v0 = v1 & VfPoolTracesLength;
        VfPoolTracesLength &= v1;
      }
      else
      {
        v0 = 0x100000;
        VfPoolTracesLength = 0x100000;
      }
    }
    else
    {
      v0 = 0x10000;
      VfPoolTracesLength = 0x10000;
    }
LABEL_12:
    VfPoolTraces = (__int64)ExAllocatePoolWithTagPriority(
                              NonPagedPoolNx,
                              (unsigned __int64)v0 << 7,
                              0x54506656ui64,
                              HighPoolPriority);
  }
}

Referenced by: