CHAR __fastcall IvtFlushDomainTb(_QWORD *a1, INT64 a2, INT64 a3, INT64 a4, INT64 a5){
INT64 v5;
INT64 v7;
INT64 v8;
_QWORD v9[3];
v5 = *(unsigned int *)(a2 + 24);
v9[1] = v9;
v9[0] = v9;
LODWORD(v8) = a4;
return IvtFlushTbInternal(a1, a2, v5, (_DWORD)a4 == 0, 1, v7, (INT64)v9, v8, a5);
}