DbgkpGetServerSiloState

CHAR *__stdcall DbgkpGetServerSiloState(INT64 a1){
  return(CHAR *)&PsGetServerSiloGlobals((_EJOB *)a1)->DbgkSiloState;
}

Referenced by:

DbgkpInitializePhase0
DbgkpInitializePhase1