PpvUtilFailDriver

void __fastcall PpvUtilFailDriver(__int64 a1, const void *a2, const void *a3, const void *a4){
  int v4; 
  int v5; 
  if( PpvUtilVerifierEnabled )
  {
    if( (_DWORD)a1 )
    {
      v4 = a1 - 1;
      if( v4 )
      {
        if( v4 != 1 )
          return;
        v5 = 589;
      }
      else
      {
        v5 = 587;
      }
      VfErrorReport8(v5, a2, a3);
    }
    else
    {
      VfErrorReport7(a1, a2, a3, a4);
    }
  }
}

Referenced by:

IoGetDeviceProperty
PiProcessNewDeviceNode