ExWnfExitProcess

void __fastcall ExWnfExitProcess(__int64 a1, UINT64 a2){
  _ETHREAD *CurrentThread; 
  int v3; 
  _WNF_PROCESS_CONTEXT *v4; 
  __int64 InstanceId; 
  InstanceId = a1;
  CurrentThread = (_ETHREAD *)KeGetCurrentThread();
  v3 = a2;
  --*((_WORD *)CurrentThread + 242);
  v4 = *(_WNF_PROCESS_CONTEXT **)(InstanceId + 2152);
  if( v4 )
    ExpWnfDeleteProcessContext(v4, a2);
  if( v3 )
    ExpWnfDeleteScopeById(WnfDataScopeProcess, &InstanceId, 8ui64);
  KeLeaveCriticalRegion();
}

Referenced by: