KiResetBootProcessorApicMask

INT64 __stdcall KiResetBootProcessorApicMask(){
  INT64 result; 
  result = (unsigned int)-(*((_DWORD *)KiProcessorBlock + 38) * *((_DWORD *)KiProcessorBlock + 39));
  *((_DWORD *)KiProcessorBlock + 55) = result;
  return result;
}

Referenced by:

KeStartAllProcessors