MmDeleteTeb

VOID __stdcall MmDeleteTeb(ULONG_PTR TargetProcess, VOID *TebBase){
  void *v3; 
  INT64 v4; 
  _KAPC_STATE ApcState; 

  memset(&ApcState, 0, sizeof(ApcState));
  KiStackAttachProcess(*(PVOID *)&TargetProcess, 0i64, &ApcState);
  LODWORD(v3) = MiObtainReferencedVadEx((UINT64)TebBase, 0, &v4);
  if( v3 )
    MiFreeToSubAllocatedRegion(v3);
  KiUnstackDetachProcess(&ApcState, 0i64);
}

Referenced by:

PspAllocateThread
PspExitThread
PspInsertThread