INT64 __fastcall HvlpCountFlushVaList(UINT64 a1, _QWORD *a2){
INT64 result;
__int64 v3;
if( (HvlpFlags & 0x2000) == 0 )
return(unsigned int)a1;
result = 0i64;
if( (_DWORD)a1 )
{
v3 = (unsigned int)a1;
do
{
if( (*a2 & 0xC00i64) != 0 )
LODWORD(result) = (*a2 & 0x3FF) + result;
result = (unsigned int)(result + 1);
++a2;
--v3;
}
while( v3 );
}
return result;
}