INT64 __stdcall DbgkInitialize(){
if( !*(_DWORD *)InitializationPhase )
return DbgkpInitializePhase0();
if( *(_DWORD *)InitializationPhase != 1 )
KeBugCheckEx(0x33u, 3ui64, *(unsigned int *)InitializationPhase, 0i64, 0i64);
return DbgkpInitializePhase1();
}