NTSTATUS __fastcall DbgkCleanupServerSiloState(INT64 a1){
void *v2;
NTSTATUS result;
v2 = *(void **)(a1 + 24);
if( v2 )
{
result = ObfDereferenceObjectWithTag(v2, 0x6B676244ui64);
*(_QWORD *)(a1 + 24) = 0i64;
}
return result;
}