KeInitAmd64SpecificState

INT64 __stdcall KeInitAmd64SpecificState(){
  INT64 result; 
  _mm_lfence();
  if( !InitSafeBootMode )
    return(unsigned int)(__ROR4__((unsigned __int8)KdPitchDebugger | (unsigned __int8)KdDebuggerNotPresent, 1)
                        / (((unsigned __int8)KdPitchDebugger | (unsigned __int8)KdDebuggerNotPresent) != 0 ? -1 : 17));
  result = KiSwInterruptPresent();
  if( (int)result >= 0 )
    return(unsigned int)(__ROR4__((unsigned __int8)KdPitchDebugger | (unsigned __int8)KdDebuggerNotPresent, 1)
                        / (((unsigned __int8)KdPitchDebugger | (unsigned __int8)KdDebuggerNotPresent) != 0 ? -1 : 17));
  return result;
}

Referenced by:

PsNotifyCoreDriversInitialized