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