IopMarkPagesForDeviceNode

__int64 __fastcall IopMarkPagesForDeviceNode(__int64 (__fastcall **a1)(_QWORD, __int64, __int64), unsigned __int64 a2){
  __int64 result; 
  result = MmAddRangeToCrashDump(a1, a2, 88i64);
  if( (int)result >= 0 )
  {
    result = MmAddRangeToCrashDump(a1, *(_QWORD *)(a2 + 48), *(unsigned __int16 *)(a2 + 40) + 2i64);
    if( (int)result >= 0 )
      return MmAddRangeToCrashDump(a1, *(_QWORD *)(a2 + 64), *(unsigned __int16 *)(a2 + 56) + 2i64);
  }
  return result;
}

Referenced by: