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);
}
}
}