HalpPteReserveResources

UINT64 __stdcall HalpPteReserveResources(INT64 a1){
  unsigned int MaximumRegisteredProcessorCount; 
  UINT64 v2; 
  UINT8 *v3; 
  UINT8 *v4; 
  UINT64 result; 

  MaximumRegisteredProcessorCount = HalpQueryMaximumRegisteredProcessorCount();
  v2 = 136 * MaximumRegisteredProcessorCount;
  v3 = HalpMmAllocCtxAlloc((_HALP_ALLOC_CONTEXT *)v2, v2);
  v4 = v3;
  if( !v3 )
    KeBugCheckEx(0xACu, (PVOID)v2, (PVOID)0xAB00, "minkernel\\hals\\lib\\mm\\ptesup.c", (PVOID)0x3BA);
  memset(v3, 0i64, v2);
  *(&CmpDummyThreadEvent + 864) = v4;
  result = (unsigned __int64)MaximumRegisteredProcessorCount << 7;
  *(&CmpDummyThreadEvent + 865) = (unsigned __int64)&v4[result + 7] & 0xFFFFFFFFFFFFFFF8ui64;
  return result;
}

Referenced by: