_KNOWN_CONTROLLER_TYPE *__stdcall SepRmSetSharedUserSessionWrkr(INT64 a1, INT64 a2){
int v2;
_KNOWN_CONTROLLER_TYPE *result;
v2 = *(_DWORD *)(a1 + 44);
result = (_KNOWN_CONTROLLER_TYPE *)PsGetCurrentServerSiloGlobals((_KSPIN_LOCK *)a1);
*(_DWORD *)(*((_QWORD *)result + 141) + 24i64) = v2;
*(_DWORD *)(a2 + 40) = 0;
return result;
}