INT64 __fastcall IvtInvalidateContextEntry(_QWORD *a1, UINT16 a2, UINT16 a3, INT64 a4, CHAR a5){
INT64 result;
INT64 v7;
_QWORD a2a[3];
a2a[1] = 0i64;
a2a[0] = ((a3 | ((unsigned __int64)a2 << 16)) << 16) | 0x31;
result = IvtIommuSendCommand(a1, a2a, 1i64);
if( a5 )
return IvtIommuWaitCommand((INT64)a1, v7, (UINT8 *)1);
return result;
}