UINT64 __stdcall HsaInvalidateDTE(UINT64 *a1, UINT16 a2, UINT8 *a3){
unsigned int v3;
UINT64 v6;
__int64 v7;
v7 = 0i64;
v3 = (unsigned int)a3;
v6 = a2 | 0x2000000000000000i64;
HsaIommuSendCommand(a1, &v6, a3);
v7 = 0i64;
v6 = 0x1000000000000000i64;
return HsaIommuSendCommand(a1, &v6, (UINT8 *)v3);
}