UINT64 __stdcall KeGetSchedulingGroupSize(){ return(unsigned int)(424 * KeMaximumProcessors + 128); }