NTSTATUS __stdcall HalpIommuFlushDomainTB(INT64 a1, INT64 a2, UINT64 a3, INT64 a4){
if( byte_140C49B2C )
return -1073741637;
(*(void(__fastcall **)(_QWORD, INT64, _QWORD, _QWORD, INT64))(a1 + 128))(
*(_QWORD *)(a1 + 16),
a2,
0i64,
(unsigned int)a3,
a4);
return 0;
}