SeInitSystem

UINT8 __stdcall SeInitSystem(){
  if( !(_DWORD)InitializationPhase )
    return SepInitializationPhase0();
  if( (_DWORD)InitializationPhase != 1 )
    KeBugCheckEx(0x33u, 0i64, (PVOID)(unsigned int)InitializationPhase, 0i64, 0i64);
  return SepInitializationPhase1();
}

Referenced by:

InitBootProcessor