UINT8 __stdcall PsInitSystem(UINT64 Phase, _LOADER_PARAMETER_BLOCK *LoaderBlock){
int v2;
int v3;
if( !(_DWORD)Phase )
return PspInitPhase0(LoaderBlock);
v2 = Phase - 1;
if( !v2 )
return PspInitPhase1();
v3 = v2 - 1;
if( !v3 )
return PspInitPhase2();
if( v3 != 1 )
KeBugCheckEx(0x33u, 1ui64, *(unsigned int *)InitializationPhase, 0i64, 0i64);
return PspInitPhase3();
}