UINT64 __stdcall HsaFlushDeviceTbOnly(UINT64 *a1, UINT16 a2, UINT8 a3){
UINT64 result;
UINT64 v5[2];
UINT64 v6[3];
result = *(_QWORD *)(*a1 + 8224);
if( (result & 0x10) != 0 )
{
v5[1] = 0x7FFFFFFFFFFFF001i64;
v5[0] = a2 | ((a3 | 0x4000000000i64) << 24);
HsaIommuSendCommand(a1, v5, 0i64);
v6[1] = 0i64;
v6[0] = 0x1000000000000000i64;
return HsaIommuSendCommand(a1, v6, 0i64);
}
return result;
}