UINT64 __stdcall HsaInvalidateRemappingTableEntries(UINT64 *a1, INT64 a2, UINT8 *a3){
unsigned int v3;
UINT64 v6[2];
UINT64 v7[3];
v3 = (unsigned int)a3;
v6[1] = 0i64;
v6[0] = 0x8000000000000000ui64;
HsaIommuSendCommand(a1, v6, a3);
v7[1] = 0i64;
v7[0] = 0x1000000000000000i64;
return HsaIommuSendCommand(a1, v7, (UINT8 *)v3);
}