UINT64 __stdcall KiComputeProcessorDataSize(UINT64 MaxProcCount, UINT64 *GdtOffset, UINT64 *IdtOffset){
unsigned int v3;
v3 = (((_DWORD)MaxProcCount << 6) + 51903) & 0xFFFFF000;
*(_DWORD *)IdtOffset = v3 + 4096;
*(_DWORD *)GdtOffset = v3 + 16304;
return v3 + 28672;
}