IommuFlushAllPasid

INT64 __fastcall IommuFlushAllPasid(INT64 a1){
  unsigned __int8 CurrentIrql; 
  UINT64 *v3; 
  _QWORD *v4; 
  _QWORD *i; 
  CurrentIrql = KeGetCurrentIrql();
  __writecr8(0xFui64);
  v3 = (UINT64 *)(a1 + 24);
  KxAcquireSpinLock((UINT64 *)(a1 + 24));
  v4 = (_QWORD *)(a1 + 32);
  for( i = (_QWORD *)*v4; i != v4; i = (_QWORD *)*i )
    (*(void(__fastcall **)(_QWORD, __int64, _QWORD, _QWORD *, _DWORD, _QWORD))(i[2] + 232i64))(
      *(_QWORD *)(i[2] + 16i64),
      0xFFFFFFFFi64,
      0i64,
      i + 3,
      0,
      0i64);
  KxReleaseSpinLock(v3);
  __writecr8(CurrentIrql);
  return 0i64;
}

Referenced by: