MiFillPageExtraInfo

void __fastcall MiFillPageExtraInfo(unsigned __int64 *a1, int a2, __int64 a3){
  unsigned __int64 v3; 

  v3 = a3 & 0xFFFFFFFFFFFFF000ui64;
  if( a2 )
  {
    if( a2 == 1 )
      v3 |= 1ui64;
    else
      v3 |= 2ui64;
  }
  *a1 = v3;
}

Referenced by: