SeRegisterObjectTypeMandatoryPolicy

__int64 __fastcall SeRegisterObjectTypeMandatoryPolicy(__int64 a1, int a2){
  _ETHREAD *CurrentThread; 
  char v3; 
  int v6; 
  __int64 v7; 
  __int64 *v8; 
  __int64 v9; 
  __int64 v10; 
  __int64 v11; 
  unsigned int v12; 
  char v13; 
  _ETHREAD *v14; 
  unsigned int SessionId; 
  char v16; 
  int v17; 
  bool v18; 
  __int64 v19; 
  unsigned __int64 v20; 
  int v21; 
  unsigned int v22; 
  __int64 v23; 
  int v25; 
  CurrentThread = (_ETHREAD *)KeGetCurrentThread();
  v3 = 0;
  --*((_WORD *)CurrentThread + 242);
  ExAcquirePushLockExclusiveEx((UINT64)&SepMandatoryObjectTypePolicyLock, 0i64);
  v6 = SepMandatoryObjectTypePolicyCount;
  v7 = 0i64;
  if( !SepMandatoryObjectTypePolicyCount )
    goto LABEL_7;
  v8 = SepMandatoryObjectTypePolicy;
  while( a1 != *v8 )
  {
    v7 = (unsigned int)(v7 + 1);
    v8 += 3;
    if( (unsigned int)v7 >= SepMandatoryObjectTypePolicyCount )
      goto LABEL_5;
  }
  v3 = 1;
LABEL_5:
  if( (unsigned int)v7 < 0x20 )
  {
    if( v3 )
    {
      v9 = (unsigned int)v7;
      goto LABEL_8;
    }
LABEL_7:
    v9 = (unsigned int)v7;
    v10 = 3 * v7;
    LODWORD(SepMandatoryObjectTypePolicy[v10 + 2]) = 0;
    LODWORD(SepMandatoryObjectTypePolicy[v10 + 1]) = 0;
    SepMandatoryObjectTypePolicy[v10] = a1;
    SepMandatoryObjectTypePolicyCount = v6 + 1;
LABEL_8:
    v11 = 3 * v9;
    LODWORD(SepMandatoryObjectTypePolicy[v11 + 1]) |= 1u;
    HIDWORD(SepMandatoryObjectTypePolicy[v11 + 1]) = a2;
    if( (a2 & 1) != 0 )
      LODWORD(SepMandatoryObjectTypePolicy[3 * v9 + 2]) |= 0x100u;
    if( (a2 & 2) != 0 )
      LODWORD(SepMandatoryObjectTypePolicy[3 * v9 + 2]) |= 0x200u;
    if( (a2 & 4) != 0 )
      LODWORD(SepMandatoryObjectTypePolicy[3 * v9 + 2]) |= 0x400u;
    v12 = 0;
    goto LABEL_15;
  }
  v12 = -1073741823;
LABEL_15:
  v13 = _InterlockedExchangeAdd64((volatile signed __int64 *)&SepMandatoryObjectTypePolicyLock, 0xFFFFFFFFFFFFFFFFui64);
  if( (v13 & 2) != 0 && (v13 & 4) == 0 )
    ExfTryToWakePushLock((volatile INT64 *)&SepMandatoryObjectTypePolicyLock);
  v25 = 0;
  v14 = (_ETHREAD *)KeGetCurrentThread();
  if( (unsigned int)MiGetSystemRegionType((UINT64)&SepMandatoryObjectTypePolicyLock) == 1 )
    SessionId = MmGetSessionIdEx(*((_QWORD *)v14 + 23));
  else
    SessionId = -1;
  --*((_WORD *)v14 + 243);
  v16 = ++*((_BYTE *)v14 + 794);
  v17 = (*((char *)v14 + 792) | *((char *)v14 + 870)) ^ 0x3F;
  while( 1 )
  {
    v18 = !_BitScanReverse((unsigned int *)&v19, v17);
    if( v18 )
      break;
    v20 = *((_QWORD *)v14 + 100) + 96 * v19;
    v17 &= ~(1 << v19);
    if( (*(_BYTE *)(v20 + 26) & 1) != 0
      && (*(_DWORD *)(v20 + 32) & 1) == 0
      && (*(_QWORD *)(v20 + 32) & 0x7FFFFFFFFFFFFFFCi64) == ((unsigned __int64)&SepMandatoryObjectTypePolicyLock & 0x7FFFFFFFFFFFFFFCi64)
      && *(_DWORD *)(v20 + 40) == SessionId )
    {
      *(_BYTE *)(v20 + 26) &= ~1u;
      if( *(_QWORD *)(v20 + 32) )
      {
        if( v20 )
        {
          *(_BYTE *)(v20 + 32) |= 2u;
          if( *(__int64 *)(v20 + 32) < 0 )
            KiAbEntryRemoveFromTree(v20);
          v21 = *(_DWORD *)(v20 + 88) & 0x1FFFF;
          v22 = *(_DWORD *)(v20 + 88) & 0xFFFE0000;
          *(_BYTE *)(v20 + 25) &= ~1u;
          v25 = v21;
          *(_DWORD *)(v20 + 88) = v22;
          *(_QWORD *)(v20 + 32) = 0i64;
          v23 = (__int64)(v20 - *((_QWORD *)v14 + 100)) / 96;
          if( v16 == 1 )
            *((_BYTE *)v14 + 792) |= 1 << v23;
          else
            _InterlockedOr8((volatile signed __int8 *)v14 + 870, 1 << v23);
          goto LABEL_30;
        }
        break;
      }
    }
  }
  if( (*((_DWORD *)v14 + 30) & 0x10000) == 0 )
    KeBugCheckEx(0x162u, (ULONG_PTR)v14, (ULONG_PTR)&SepMandatoryObjectTypePolicyLock, SessionId, 0i64);
LABEL_30:
  --*((_BYTE *)v14 + 794);
  KiAbThreadRemoveBoosts((ULONG_PTR)v14, (__int64)&SepMandatoryObjectTypePolicyLock, (unsigned int *)&v25);
  v18 = (*((_WORD *)v14 + 243))++ == 0xFFFF;
  if( v18 && *((_ETHREAD **)v14 + 19) != (_ETHREAD *)((char *)v14 + 152) )
    KiCheckForKernelApcDelivery();
  KeLeaveCriticalRegionThread((__int64)KeGetCurrentThread());
  return v12;
}

Referenced by:

PspInitPhase0
SepTokenInitialization