INT64 __fastcall IvtInvalidateRemappingTableEntries(_QWORD *a1, _DWORD *a2){
INT64 v3;
_QWORD a2a[3];
a2a[1] = 0i64;
a2a[0] = 4i64;
if( a2 )
a2a[0] = ((unsigned __int64)(unsigned __int16)*a2 << 32) | 0x14;
IvtIommuSendCommand(a1, a2a, 0i64);
return IvtIommuWaitCommand((INT64)a1, v3, 0i64);
}