INT64 __stdcall DbgkpInitializePhase1(){
CHAR *ServerSiloState;
INT64 result;
ServerSiloState = DbgkpGetServerSiloState(0i64);
result = DbgkpInitializePhase1SiloState((INT64)ServerSiloState);
if( (int)result >= 0 && !DbgkpWerInitialized )
{
DbgkpBusy = 0;
DbgkpWerDefaultPolicy = 2;
DbgkpWerDeferredWriteTimeoutSeconds = 600;
DbgkpWerInitialized = 1;
}
return result;
}