MiFillPageExtraInfo

VOID __fastcall MiFillPageExtraInfo(UINT64 *a1, INT64 a2, INT64 a3){
  unsigned __int64 v3; 
  v3 = a3 & 0xFFFFFFFFFFFFF000ui64;
  if( (_DWORD)a2 )
  {
    if( (_DWORD)a2 == 1 )
      v3 |= 1ui64;
    else
      v3 |= 2ui64;
  }
  *a1 = v3;
}

Referenced by:

MiLogAllocateWsleEvent
MiLogRemoveWsleEvent