]> git.saurik.com Git - apple/xnu.git/blobdiff - bsd/kern/kern_exit.c
xnu-7195.81.3.tar.gz
[apple/xnu.git] / bsd / kern / kern_exit.c
index 3cc43dcceb8d201557e5f2b115073409f958e9a2..c38e6a898048958db26776e01fa875d69314eeb0 100644 (file)
@@ -1,23 +1,29 @@
 /*
- * Copyright (c) 2000-2004 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2016 Apple Inc. All rights reserved.
  *
- * @APPLE_LICENSE_HEADER_START@
- * 
- * The contents of this file constitute Original Code as defined in and
- * are subject to the Apple Public Source License Version 1.1 (the
- * "License").  You may not use this file except in compliance with the
- * License.  Please obtain a copy of the License at
- * http://www.apple.com/publicsource and read it before using this file.
- * 
- * This Original Code and all software distributed under the License are
- * distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, EITHER
+ * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
+ *
+ * This file contains Original Code and/or Modifications of Original Code
+ * as defined in and that are subject to the Apple Public Source License
+ * Version 2.0 (the 'License'). You may not use this file except in
+ * compliance with the License. The rights granted to you under the License
+ * may not be used to create, or enable the creation or redistribution of,
+ * unlawful or unlicensed copies of an Apple operating system, or to
+ * circumvent, violate, or enable the circumvention or violation of, any
+ * terms of an Apple operating system software license agreement.
+ *
+ * Please obtain a copy of the License at
+ * http://www.opensource.apple.com/apsl/ and read it before using this file.
+ *
+ * The Original Code and all software distributed under the License are
+ * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
  * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
- * FITNESS FOR A PARTICULAR PURPOSE OR NON-INFRINGEMENT.  Please see the
- * License for the specific language governing rights and limitations
- * under the License.
- * 
- * @APPLE_LICENSE_HEADER_END@
+ * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
+ * Please see the License for the specific language governing rights and
+ * limitations under the License.
+ *
+ * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
  */
 /* Copyright (c) 1995, 1997 Apple Computer, Inc. All Rights Reserved */
 /*
  *
  *     @(#)kern_exit.c 8.7 (Berkeley) 2/12/94
  */
+/*
+ * NOTICE: This file was modified by SPARTA, Inc. in 2005 to introduce
+ * support for mandatory and extensible security protections.  This notice
+ * is included in support of clause 2.2 (b) of the Apple Public License,
+ * Version 2.0.
+ */
+
 #include <machine/reg.h>
 #include <machine/psl.h>
+#include <stdatomic.h>
 
 #include "compat_43.h"
 
@@ -69,6 +82,7 @@
 #include <sys/systm.h>
 #include <sys/ioctl.h>
 #include <sys/proc_internal.h>
+#include <sys/proc.h>
 #include <sys/kauth.h>
 #include <sys/tty.h>
 #include <sys/time.h>
 #include <sys/malloc.h>
 #include <sys/resourcevar.h>
 #include <sys/ptrace.h>
+#include <sys/proc_info.h>
+#include <sys/reason.h>
+#include <sys/_types/_timeval64.h>
 #include <sys/user.h>
 #include <sys/aio_kern.h>
 #include <sys/sysproto.h>
 #include <sys/signalvar.h>
-#include <sys/filedesc.h>      /* fdfree */
-#include <sys/shm_internal.h>  /* shmexit */
-#include <sys/acct.h>          /* acct_process */
-#include <machine/spl.h>
-
-#include <bsm/audit_kernel.h>
+#include <sys/kdebug.h>
+#include <sys/filedesc.h> /* fdfree */
+#include <sys/acct.h> /* acct_process */
+#include <sys/codesign.h>
+#include <sys/event.h> /* kevent_proc_copy_uptrs */
+#include <sys/sdt.h>
+
+#include <security/audit/audit.h>
 #include <bsm/audit_kevents.h>
 
 #include <mach/mach_types.h>
+#include <mach/task.h>
+#include <mach/thread_act.h>
 
+#include <kern/exc_resource.h>
 #include <kern/kern_types.h>
 #include <kern/kalloc.h>
 #include <kern/task.h>
+#include <corpses/task_corpse.h>
 #include <kern/thread.h>
+#include <kern/thread_call.h>
 #include <kern/sched_prim.h>
 #include <kern/assert.h>
-#if KTRACE   
-#include <sys/ktrace.h>
-#endif
-
-#include <mach/mach_types.h>
-#include <mach/task.h>
-#include <mach/thread_act.h>
-#include <mach/mach_traps.h>   /* init_process */
+#include <kern/policy_internal.h>
+#include <kern/exc_guard.h>
+
+#include <vm/vm_protos.h>
+#include <os/log.h>
+
+#include <pexpert/pexpert.h>
+
+#if SYSV_SHM
+#include <sys/shm_internal.h>   /* shmexit */
+#endif /* SYSV_SHM */
+#if CONFIG_PERSONAS
+#include <sys/persona.h>
+#endif /* CONFIG_PERSONAS */
+#if CONFIG_MEMORYSTATUS
+#include <sys/kern_memorystatus.h>
+#endif /* CONFIG_MEMORYSTATUS */
+#if CONFIG_DTRACE
+/* Do not include dtrace.h, it redefines kmem_[alloc/free] */
+void dtrace_proc_exit(proc_t p);
+#include <sys/dtrace_ptss.h>
+#endif /* CONFIG_DTRACE */
+#if CONFIG_MACF
+#include <security/mac_framework.h>
+#include <security/mac_mach_internal.h>
+#include <sys/syscall.h>
+#endif /* CONFIG_MACF */
+
+#if CONFIG_MEMORYSTATUS
+static void proc_memorystatus_remove(proc_t p);
+#endif /* CONFIG_MEMORYSTATUS */
+void proc_prepareexit(proc_t p, int rv, boolean_t perf_notify);
+void gather_populate_corpse_crashinfo(proc_t p, task_t corpse_task,
+    mach_exception_data_type_t code, mach_exception_data_type_t subcode,
+    uint64_t *udata_buffer, int num_udata, void *reason);
+mach_exception_data_type_t proc_encode_exit_exception_code(proc_t p);
+void vfork_exit(proc_t p, int rv);
+__private_extern__ void munge_user64_rusage(struct rusage *a_rusage_p, struct user64_rusage *a_user_rusage_p);
+__private_extern__ void munge_user32_rusage(struct rusage *a_rusage_p, struct user32_rusage *a_user_rusage_p);
+static int reap_child_locked(proc_t parent, proc_t child, int deadparent, int reparentedtoinit, int locked, int droplock);
+static void populate_corpse_crashinfo(proc_t p, task_t corpse_task,
+    struct rusage_superset *rup, mach_exception_data_type_t code,
+    mach_exception_data_type_t subcode, uint64_t *udata_buffer,
+    int num_udata, os_reason_t reason);
+static void proc_update_corpse_exception_codes(proc_t p, mach_exception_data_type_t *code, mach_exception_data_type_t *subcode);
+extern int proc_pidpathinfo_internal(proc_t p, uint64_t arg, char *buffer, uint32_t buffersize, int32_t *retval);
+static __attribute__((noinline)) void launchd_crashed_panic(proc_t p, int rv);
+extern void proc_piduniqidentifierinfo(proc_t p, struct proc_uniqidentifierinfo *p_uniqidinfo);
+extern void task_coalition_ids(task_t task, uint64_t ids[COALITION_NUM_TYPES]);
+extern uint64_t get_task_phys_footprint_limit(task_t);
+int proc_list_uptrs(void *p, uint64_t *udata_buffer, int size);
+extern uint64_t task_corpse_get_crashed_thread_id(task_t corpse_task);
+
+ZONE_DECLARE(zombie_zone, "zombie",
+    sizeof(struct rusage_superset), ZC_NOENCRYPT);
 
-extern char init_task_failure_data[];
-int exit1(struct proc *, int, int *);
-void proc_prepareexit(struct proc *p);
-void vfork_exit(struct proc *p, int rv);
-void vproc_exit(struct proc *p);
-__private_extern__ void munge_rusage(struct rusage *a_rusage_p, struct user_rusage *a_user_rusage_p);
 
 /*
  * Things which should have prototypes in headers, but don't
  */
-void   unix_syscall_return(int);
-void   *get_bsduthreadarg(thread_t);
-void   proc_exit(struct proc *p);
-int    wait1continue(int result);
-int    waitidcontinue(int result);
-int    *get_bsduthreadrval(thread_t);
-kern_return_t  sys_perf_notify(struct task *task, exception_data_t code,
-                       mach_msg_type_number_t codeCnt);
+void    proc_exit(proc_t p);
+int     wait1continue(int result);
+int     waitidcontinue(int result);
+kern_return_t sys_perf_notify(thread_t thread, int pid);
+kern_return_t task_exception_notify(exception_type_t exception,
+    mach_exception_data_type_t code, mach_exception_data_type_t subcode);
+kern_return_t task_violated_guard(mach_exception_code_t, mach_exception_subcode_t, void *);
+void    delay(int);
+void gather_rusage_info(proc_t p, rusage_info_current *ru, int flavor);
+
+#if __has_feature(ptrauth_calls)
+int exit_with_pac_exception(proc_t p, exception_type_t exception, mach_exception_code_t code,
+    mach_exception_subcode_t subcode);
+#endif /* __has_feature(ptrauth_calls) */
+
 
 /*
  * NOTE: Source and target may *NOT* overlap!
  * XXX Should share code with bsd/dev/ppc/unix_signal.c
  */
-static void
-siginfo_64to32(user_siginfo_t *in, siginfo_t *out)
+void
+siginfo_user_to_user32(user_siginfo_t *in, user32_siginfo_t *out)
+{
+       out->si_signo   = in->si_signo;
+       out->si_errno   = in->si_errno;
+       out->si_code    = in->si_code;
+       out->si_pid     = in->si_pid;
+       out->si_uid     = in->si_uid;
+       out->si_status  = in->si_status;
+       out->si_addr    = CAST_DOWN_EXPLICIT(user32_addr_t, in->si_addr);
+       /* following cast works for sival_int because of padding */
+       out->si_value.sival_ptr = CAST_DOWN_EXPLICIT(user32_addr_t, in->si_value.sival_ptr);
+       out->si_band    = (user32_long_t)in->si_band;                  /* range reduction */
+}
+
+void
+siginfo_user_to_user64(user_siginfo_t *in, user64_siginfo_t *out)
 {
-       out->si_signo   = in->si_signo;
-       out->si_errno   = in->si_errno;
-       out->si_code    = in->si_code;
-       out->si_pid     = in->si_pid;
-       out->si_uid     = in->si_uid;
-       out->si_status  = in->si_status;
-       out->si_addr    = CAST_DOWN(void *,in->si_addr);
+       out->si_signo   = in->si_signo;
+       out->si_errno   = in->si_errno;
+       out->si_code    = in->si_code;
+       out->si_pid     = in->si_pid;
+       out->si_uid     = in->si_uid;
+       out->si_status  = in->si_status;
+       out->si_addr    = in->si_addr;
        /* following cast works for sival_int because of padding */
-       out->si_value.sival_ptr = CAST_DOWN(void *,in->si_value.sival_ptr);
-       out->si_band    = in->si_band;                  /* range reduction */
-       out->pad[0]     = in->pad[0];                   /* mcontext.ss.r1 */
+       out->si_value.sival_ptr = in->si_value.sival_ptr;
+       out->si_band    = in->si_band;                  /* range reduction */
+}
+
+static int
+copyoutsiginfo(user_siginfo_t *native, boolean_t is64, user_addr_t uaddr)
+{
+       if (is64) {
+               user64_siginfo_t sinfo64;
+
+               bzero(&sinfo64, sizeof(sinfo64));
+               siginfo_user_to_user64(native, &sinfo64);
+               return copyout(&sinfo64, uaddr, sizeof(sinfo64));
+       } else {
+               user32_siginfo_t sinfo32;
+
+               bzero(&sinfo32, sizeof(sinfo32));
+               siginfo_user_to_user32(native, &sinfo32);
+               return copyout(&sinfo32, uaddr, sizeof(sinfo32));
+       }
 }
 
+void
+gather_populate_corpse_crashinfo(proc_t p, task_t corpse_task,
+    mach_exception_data_type_t code, mach_exception_data_type_t subcode,
+    uint64_t *udata_buffer, int num_udata, void *reason)
+{
+       struct rusage_superset rup;
+
+       gather_rusage_info(p, &rup.ri, RUSAGE_INFO_CURRENT);
+       rup.ri.ri_phys_footprint = 0;
+       populate_corpse_crashinfo(p, corpse_task, &rup, code, subcode,
+           udata_buffer, num_udata, reason);
+}
+
+static void
+proc_update_corpse_exception_codes(proc_t p, mach_exception_data_type_t *code, mach_exception_data_type_t *subcode)
+{
+       mach_exception_data_type_t code_update = *code;
+       mach_exception_data_type_t subcode_update = *subcode;
+       if (p->p_exit_reason == OS_REASON_NULL) {
+               return;
+       }
+
+       switch (p->p_exit_reason->osr_namespace) {
+       case OS_REASON_JETSAM:
+               if (p->p_exit_reason->osr_code == JETSAM_REASON_MEMORY_PERPROCESSLIMIT) {
+                       /* Update the code with EXC_RESOURCE code for high memory watermark */
+                       EXC_RESOURCE_ENCODE_TYPE(code_update, RESOURCE_TYPE_MEMORY);
+                       EXC_RESOURCE_ENCODE_FLAVOR(code_update, FLAVOR_HIGH_WATERMARK);
+                       EXC_RESOURCE_HWM_ENCODE_LIMIT(code_update, ((get_task_phys_footprint_limit(p->task)) >> 20));
+                       subcode_update = 0;
+                       break;
+               }
+
+               break;
+       default:
+               break;
+       }
+
+       *code = code_update;
+       *subcode = subcode_update;
+       return;
+}
+
+mach_exception_data_type_t
+proc_encode_exit_exception_code(proc_t p)
+{
+       uint64_t subcode = 0;
+
+       if (p->p_exit_reason == OS_REASON_NULL) {
+               return 0;
+       }
+
+       /* Embed first 32 bits of osr_namespace and osr_code in exception code */
+       ENCODE_OSR_NAMESPACE_TO_MACH_EXCEPTION_CODE(subcode, p->p_exit_reason->osr_namespace);
+       ENCODE_OSR_CODE_TO_MACH_EXCEPTION_CODE(subcode, p->p_exit_reason->osr_code);
+       return (mach_exception_data_type_t)subcode;
+}
+
+static void
+populate_corpse_crashinfo(proc_t p, task_t corpse_task, struct rusage_superset *rup,
+    mach_exception_data_type_t code, mach_exception_data_type_t subcode,
+    uint64_t *udata_buffer, int num_udata, os_reason_t reason)
+{
+       mach_vm_address_t uaddr = 0;
+       mach_exception_data_type_t exc_codes[EXCEPTION_CODE_MAX];
+       exc_codes[0] = code;
+       exc_codes[1] = subcode;
+       cpu_type_t cputype;
+       struct proc_uniqidentifierinfo p_uniqidinfo;
+       struct proc_workqueueinfo pwqinfo;
+       int retval = 0;
+       uint64_t crashed_threadid = task_corpse_get_crashed_thread_id(corpse_task);
+       unsigned int pflags = 0;
+       uint64_t max_footprint_mb;
+       uint64_t max_footprint;
+
+       uint64_t ledger_internal;
+       uint64_t ledger_internal_compressed;
+       uint64_t ledger_iokit_mapped;
+       uint64_t ledger_alternate_accounting;
+       uint64_t ledger_alternate_accounting_compressed;
+       uint64_t ledger_purgeable_nonvolatile;
+       uint64_t ledger_purgeable_nonvolatile_compressed;
+       uint64_t ledger_page_table;
+       uint64_t ledger_phys_footprint;
+       uint64_t ledger_phys_footprint_lifetime_max;
+       uint64_t ledger_network_nonvolatile;
+       uint64_t ledger_network_nonvolatile_compressed;
+       uint64_t ledger_wired_mem;
+       uint64_t ledger_tagged_footprint;
+       uint64_t ledger_tagged_footprint_compressed;
+       uint64_t ledger_media_footprint;
+       uint64_t ledger_media_footprint_compressed;
+       uint64_t ledger_graphics_footprint;
+       uint64_t ledger_graphics_footprint_compressed;
+       uint64_t ledger_neural_footprint;
+       uint64_t ledger_neural_footprint_compressed;
+
+       void *crash_info_ptr = task_get_corpseinfo(corpse_task);
+
+#if CONFIG_MEMORYSTATUS
+       int memstat_dirty_flags = 0;
+#endif
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_EXCEPTION_CODES, sizeof(exc_codes), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, exc_codes, sizeof(exc_codes));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_PID, sizeof(p->p_pid), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->p_pid, sizeof(p->p_pid));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_PPID, sizeof(p->p_ppid), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->p_ppid, sizeof(p->p_ppid));
+       }
+
+       /* Don't include the crashed thread ID if there's an exit reason that indicates it's irrelevant */
+       if ((p->p_exit_reason == OS_REASON_NULL) || !(p->p_exit_reason->osr_flags & OS_REASON_FLAG_NO_CRASHED_TID)) {
+               if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_CRASHED_THREADID, sizeof(uint64_t), &uaddr)) {
+                       kcdata_memcpy(crash_info_ptr, uaddr, &crashed_threadid, sizeof(uint64_t));
+               }
+       }
+
+       static_assert(sizeof(struct proc_uniqidentifierinfo) == sizeof(struct crashinfo_proc_uniqidentifierinfo));
+       if (KERN_SUCCESS ==
+           kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_BSDINFOWITHUNIQID, sizeof(struct proc_uniqidentifierinfo), &uaddr)) {
+               proc_piduniqidentifierinfo(p, &p_uniqidinfo);
+               kcdata_memcpy(crash_info_ptr, uaddr, &p_uniqidinfo, sizeof(struct proc_uniqidentifierinfo));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_RUSAGE_INFO, sizeof(rusage_info_current), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &rup->ri, sizeof(rusage_info_current));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_PROC_CSFLAGS, sizeof(p->p_csflags), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->p_csflags, sizeof(p->p_csflags));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_PROC_NAME, sizeof(p->p_comm), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->p_comm, sizeof(p->p_comm));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_PROC_STARTTIME, sizeof(p->p_start), &uaddr)) {
+               struct timeval64 t64;
+               t64.tv_sec = (int64_t)p->p_start.tv_sec;
+               t64.tv_usec = (int64_t)p->p_start.tv_usec;
+               kcdata_memcpy(crash_info_ptr, uaddr, &t64, sizeof(t64));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_USERSTACK, sizeof(p->user_stack), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->user_stack, sizeof(p->user_stack));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_ARGSLEN, sizeof(p->p_argslen), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->p_argslen, sizeof(p->p_argslen));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_PROC_ARGC, sizeof(p->p_argc), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->p_argc, sizeof(p->p_argc));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_PROC_PATH, MAXPATHLEN, &uaddr)) {
+               char *buf = zalloc_flags(ZV_NAMEI, Z_WAITOK | Z_ZERO);
+               proc_pidpathinfo_internal(p, 0, buf, MAXPATHLEN, &retval);
+               kcdata_memcpy(crash_info_ptr, uaddr, buf, MAXPATHLEN);
+               zfree(ZV_NAMEI, buf);
+       }
+
+       pflags = p->p_flag & (P_LP64 | P_SUGID | P_TRANSLATED);
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_PROC_FLAGS, sizeof(pflags), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &pflags, sizeof(pflags));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_UID, sizeof(p->p_uid), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->p_uid, sizeof(p->p_uid));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_GID, sizeof(p->p_gid), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->p_gid, sizeof(p->p_gid));
+       }
+
+       cputype = cpu_type() & ~CPU_ARCH_MASK;
+       if (IS_64BIT_PROCESS(p)) {
+               cputype |= CPU_ARCH_ABI64;
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_CPUTYPE, sizeof(cpu_type_t), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &cputype, sizeof(cpu_type_t));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_MEMORY_LIMIT, sizeof(max_footprint_mb), &uaddr)) {
+               max_footprint = get_task_phys_footprint_limit(p->task);
+               max_footprint_mb = max_footprint >> 20;
+               kcdata_memcpy(crash_info_ptr, uaddr, &max_footprint_mb, sizeof(max_footprint_mb));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_PHYS_FOOTPRINT_LIFETIME_MAX, sizeof(ledger_phys_footprint_lifetime_max), &uaddr)) {
+               ledger_phys_footprint_lifetime_max = get_task_phys_footprint_lifetime_max(p->task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_phys_footprint_lifetime_max, sizeof(ledger_phys_footprint_lifetime_max));
+       }
+
+       // In the forking case, the current ledger info is copied into the corpse while the original task is suspended for consistency
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_INTERNAL, sizeof(ledger_internal), &uaddr)) {
+               ledger_internal = get_task_internal(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_internal, sizeof(ledger_internal));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_INTERNAL_COMPRESSED, sizeof(ledger_internal_compressed), &uaddr)) {
+               ledger_internal_compressed = get_task_internal_compressed(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_internal_compressed, sizeof(ledger_internal_compressed));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_IOKIT_MAPPED, sizeof(ledger_iokit_mapped), &uaddr)) {
+               ledger_iokit_mapped = get_task_iokit_mapped(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_iokit_mapped, sizeof(ledger_iokit_mapped));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_ALTERNATE_ACCOUNTING, sizeof(ledger_alternate_accounting), &uaddr)) {
+               ledger_alternate_accounting = get_task_alternate_accounting(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_alternate_accounting, sizeof(ledger_alternate_accounting));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_ALTERNATE_ACCOUNTING_COMPRESSED, sizeof(ledger_alternate_accounting_compressed), &uaddr)) {
+               ledger_alternate_accounting_compressed = get_task_alternate_accounting_compressed(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_alternate_accounting_compressed, sizeof(ledger_alternate_accounting_compressed));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_PURGEABLE_NONVOLATILE, sizeof(ledger_purgeable_nonvolatile), &uaddr)) {
+               ledger_purgeable_nonvolatile = get_task_purgeable_nonvolatile(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_purgeable_nonvolatile, sizeof(ledger_purgeable_nonvolatile));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_PURGEABLE_NONVOLATILE_COMPRESSED, sizeof(ledger_purgeable_nonvolatile_compressed), &uaddr)) {
+               ledger_purgeable_nonvolatile_compressed = get_task_purgeable_nonvolatile_compressed(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_purgeable_nonvolatile_compressed, sizeof(ledger_purgeable_nonvolatile_compressed));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_PAGE_TABLE, sizeof(ledger_page_table), &uaddr)) {
+               ledger_page_table = get_task_page_table(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_page_table, sizeof(ledger_page_table));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_PHYS_FOOTPRINT, sizeof(ledger_phys_footprint), &uaddr)) {
+               ledger_phys_footprint = get_task_phys_footprint(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_phys_footprint, sizeof(ledger_phys_footprint));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_NETWORK_NONVOLATILE, sizeof(ledger_network_nonvolatile), &uaddr)) {
+               ledger_network_nonvolatile = get_task_network_nonvolatile(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_network_nonvolatile, sizeof(ledger_network_nonvolatile));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_NETWORK_NONVOLATILE_COMPRESSED, sizeof(ledger_network_nonvolatile_compressed), &uaddr)) {
+               ledger_network_nonvolatile_compressed = get_task_network_nonvolatile_compressed(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_network_nonvolatile_compressed, sizeof(ledger_network_nonvolatile_compressed));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_WIRED_MEM, sizeof(ledger_wired_mem), &uaddr)) {
+               ledger_wired_mem = get_task_wired_mem(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_wired_mem, sizeof(ledger_wired_mem));
+       }
+
+       bzero(&pwqinfo, sizeof(struct proc_workqueueinfo));
+       retval = fill_procworkqueue(p, &pwqinfo);
+       if (retval == 0) {
+               if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_WORKQUEUEINFO, sizeof(struct proc_workqueueinfo), &uaddr)) {
+                       kcdata_memcpy(crash_info_ptr, uaddr, &pwqinfo, sizeof(struct proc_workqueueinfo));
+               }
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_RESPONSIBLE_PID, sizeof(p->p_responsible_pid), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->p_responsible_pid, sizeof(p->p_responsible_pid));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_PROC_PERSONA_ID, sizeof(uid_t), &uaddr)) {
+               uid_t persona_id = proc_persona_id(p);
+               kcdata_memcpy(crash_info_ptr, uaddr, &persona_id, sizeof(persona_id));
+       }
+
+#if CONFIG_COALITIONS
+       if (KERN_SUCCESS == kcdata_get_memory_addr_for_array(crash_info_ptr, TASK_CRASHINFO_COALITION_ID, sizeof(uint64_t), COALITION_NUM_TYPES, &uaddr)) {
+               uint64_t coalition_ids[COALITION_NUM_TYPES];
+               task_coalition_ids(p->task, coalition_ids);
+               kcdata_memcpy(crash_info_ptr, uaddr, coalition_ids, sizeof(coalition_ids));
+       }
+#endif /* CONFIG_COALITIONS */
+
+#if CONFIG_MEMORYSTATUS
+       memstat_dirty_flags = memorystatus_dirty_get(p, FALSE);
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_DIRTY_FLAGS, sizeof(memstat_dirty_flags), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &memstat_dirty_flags, sizeof(memstat_dirty_flags));
+       }
+#endif
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_MEMORY_LIMIT_INCREASE, sizeof(p->p_memlimit_increase), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->p_memlimit_increase, sizeof(p->p_memlimit_increase));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_TAGGED_FOOTPRINT, sizeof(ledger_tagged_footprint), &uaddr)) {
+               ledger_tagged_footprint = get_task_tagged_footprint(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_tagged_footprint, sizeof(ledger_tagged_footprint));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_TAGGED_FOOTPRINT_COMPRESSED, sizeof(ledger_tagged_footprint_compressed), &uaddr)) {
+               ledger_tagged_footprint_compressed = get_task_tagged_footprint_compressed(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_tagged_footprint_compressed, sizeof(ledger_tagged_footprint_compressed));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_MEDIA_FOOTPRINT, sizeof(ledger_media_footprint), &uaddr)) {
+               ledger_media_footprint = get_task_media_footprint(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_media_footprint, sizeof(ledger_media_footprint));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_MEDIA_FOOTPRINT_COMPRESSED, sizeof(ledger_media_footprint_compressed), &uaddr)) {
+               ledger_media_footprint_compressed = get_task_media_footprint_compressed(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_media_footprint_compressed, sizeof(ledger_media_footprint_compressed));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_GRAPHICS_FOOTPRINT, sizeof(ledger_graphics_footprint), &uaddr)) {
+               ledger_graphics_footprint = get_task_graphics_footprint(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_graphics_footprint, sizeof(ledger_graphics_footprint));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_GRAPHICS_FOOTPRINT_COMPRESSED, sizeof(ledger_graphics_footprint_compressed), &uaddr)) {
+               ledger_graphics_footprint_compressed = get_task_graphics_footprint_compressed(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_graphics_footprint_compressed, sizeof(ledger_graphics_footprint_compressed));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_NEURAL_FOOTPRINT, sizeof(ledger_neural_footprint), &uaddr)) {
+               ledger_neural_footprint = get_task_neural_footprint(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_neural_footprint, sizeof(ledger_neural_footprint));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_LEDGER_NEURAL_FOOTPRINT_COMPRESSED, sizeof(ledger_neural_footprint_compressed), &uaddr)) {
+               ledger_neural_footprint_compressed = get_task_neural_footprint_compressed(corpse_task);
+               kcdata_memcpy(crash_info_ptr, uaddr, &ledger_neural_footprint_compressed, sizeof(ledger_neural_footprint_compressed));
+       }
+
+       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, TASK_CRASHINFO_MEMORYSTATUS_EFFECTIVE_PRIORITY, sizeof(p->p_memstat_effectivepriority), &uaddr)) {
+               kcdata_memcpy(crash_info_ptr, uaddr, &p->p_memstat_effectivepriority, sizeof(p->p_memstat_effectivepriority));
+       }
+
+       if (p->p_exit_reason != OS_REASON_NULL && reason == OS_REASON_NULL) {
+               reason = p->p_exit_reason;
+       }
+       if (reason != OS_REASON_NULL) {
+               if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, EXIT_REASON_SNAPSHOT, sizeof(struct exit_reason_snapshot), &uaddr)) {
+                       struct exit_reason_snapshot ers = {
+                               .ers_namespace = reason->osr_namespace,
+                               .ers_code = reason->osr_code,
+                               .ers_flags = reason->osr_flags
+                       };
+
+                       kcdata_memcpy(crash_info_ptr, uaddr, &ers, sizeof(ers));
+               }
+
+               if (reason->osr_kcd_buf != 0) {
+                       uint32_t reason_buf_size = (uint32_t)kcdata_memory_get_used_bytes(&reason->osr_kcd_descriptor);
+                       assert(reason_buf_size != 0);
+
+                       if (KERN_SUCCESS == kcdata_get_memory_addr(crash_info_ptr, KCDATA_TYPE_NESTED_KCDATA, reason_buf_size, &uaddr)) {
+                               kcdata_memcpy(crash_info_ptr, uaddr, reason->osr_kcd_buf, reason_buf_size);
+                       }
+               }
+       }
+
+       if (num_udata > 0) {
+               if (KERN_SUCCESS == kcdata_get_memory_addr_for_array(crash_info_ptr, TASK_CRASHINFO_UDATA_PTRS,
+                   sizeof(uint64_t), num_udata, &uaddr)) {
+                       kcdata_memcpy(crash_info_ptr, uaddr, udata_buffer, sizeof(uint64_t) * num_udata);
+               }
+       }
+}
+
+/*
+ * We only parse exit reason kcdata blobs for launchd when it dies
+ * and we're going to panic.
+ *
+ * Meant to be called immediately before panicking.
+ */
+char *
+launchd_exit_reason_get_string_desc(os_reason_t exit_reason)
+{
+       kcdata_iter_t iter;
+
+       if (exit_reason == OS_REASON_NULL || exit_reason->osr_kcd_buf == NULL ||
+           exit_reason->osr_bufsize == 0) {
+               return NULL;
+       }
+
+       iter = kcdata_iter(exit_reason->osr_kcd_buf, exit_reason->osr_bufsize);
+       if (!kcdata_iter_valid(iter)) {
+#if DEBUG || DEVELOPMENT
+               printf("launchd exit reason has invalid exit reason buffer\n");
+#endif
+               return NULL;
+       }
+
+       if (kcdata_iter_type(iter) != KCDATA_BUFFER_BEGIN_OS_REASON) {
+#if DEBUG || DEVELOPMENT
+               printf("launchd exit reason buffer type mismatch, expected %d got %d\n",
+                   KCDATA_BUFFER_BEGIN_OS_REASON, kcdata_iter_type(iter));
+#endif
+               return NULL;
+       }
+
+       iter = kcdata_iter_find_type(iter, EXIT_REASON_USER_DESC);
+       if (!kcdata_iter_valid(iter)) {
+               return NULL;
+       }
+
+       return (char *)kcdata_iter_payload(iter);
+}
+
+__abortlike
+static void
+launchd_crashed_panic(proc_t p, int rv)
+{
+       char *launchd_exit_reason_desc = launchd_exit_reason_get_string_desc(p->p_exit_reason);
+
+       if (p->p_exit_reason == OS_REASON_NULL) {
+               printf("pid 1 exited -- no exit reason available -- (signal %d, exit %d)\n",
+                   WTERMSIG(rv), WEXITSTATUS(rv));
+       } else {
+               printf("pid 1 exited -- exit reason namespace %d subcode 0x%llx, description %s\n",
+                   p->p_exit_reason->osr_namespace, p->p_exit_reason->osr_code, launchd_exit_reason_desc ?
+                   launchd_exit_reason_desc : "none");
+       }
+
+       const char *launchd_crashed_prefix_str;
+
+       if (strnstr(p->p_name, "preinit", sizeof(p->p_name))) {
+               launchd_crashed_prefix_str = "LTE preinit process exited";
+       } else {
+               launchd_crashed_prefix_str = "initproc exited";
+       }
+
+#if (DEVELOPMENT || DEBUG) && CONFIG_COREDUMP
+       /*
+        * For debugging purposes, generate a core file of initproc before
+        * panicking. Leave at least 300 MB free on the root volume, and ignore
+        * the process's corefile ulimit. fsync() the file to ensure it lands on disk
+        * before the panic hits.
+        */
+
+       int             err;
+       uint64_t        coredump_start = mach_absolute_time();
+       uint64_t        coredump_end;
+       clock_sec_t     tv_sec;
+       clock_usec_t    tv_usec;
+       uint32_t        tv_msec;
+
+
+       err = coredump(p, 300, COREDUMP_IGNORE_ULIMIT | COREDUMP_FULLFSYNC);
+
+       coredump_end = mach_absolute_time();
+
+       absolutetime_to_microtime(coredump_end - coredump_start, &tv_sec, &tv_usec);
+
+       tv_msec = tv_usec / 1000;
+
+       if (err != 0) {
+               printf("Failed to generate initproc core file: error %d, took %d.%03d seconds\n",
+                   err, (uint32_t)tv_sec, tv_msec);
+       } else {
+               printf("Generated initproc core file in %d.%03d seconds\n",
+                   (uint32_t)tv_sec, tv_msec);
+       }
+#endif /* (DEVELOPMENT || DEBUG) && CONFIG_COREDUMP */
+
+       sync(p, (void *)NULL, (int *)NULL);
+
+       if (p->p_exit_reason == OS_REASON_NULL) {
+               panic_with_options(0, NULL, DEBUGGER_OPTION_INITPROC_PANIC, "%s -- no exit reason available -- (signal %d, exit status %d %s)",
+                   launchd_crashed_prefix_str, WTERMSIG(rv), WEXITSTATUS(rv), ((p->p_csflags & CS_KILLED) ? "CS_KILLED" : ""));
+       } else {
+               panic_with_options(0, NULL, DEBUGGER_OPTION_INITPROC_PANIC, "%s %s -- exit reason namespace %d subcode 0x%llx description: %." LAUNCHD_PANIC_REASON_STRING_MAXLEN "s",
+                   ((p->p_csflags & CS_KILLED) ? "CS_KILLED" : ""),
+                   launchd_crashed_prefix_str, p->p_exit_reason->osr_namespace, p->p_exit_reason->osr_code,
+                   launchd_exit_reason_desc ? launchd_exit_reason_desc : "none");
+       }
+}
+
+#define OS_REASON_IFLAG_USER_FAULT 0x1
+
+#define OS_REASON_TOTAL_USER_FAULTS_PER_PROC  5
+
+static int
+abort_with_payload_internal(proc_t p,
+    uint32_t reason_namespace, uint64_t reason_code,
+    user_addr_t payload, uint32_t payload_size,
+    user_addr_t reason_string, uint64_t reason_flags,
+    uint32_t internal_flags)
+{
+       os_reason_t exit_reason = OS_REASON_NULL;
+       kern_return_t kr = KERN_SUCCESS;
+
+       if (internal_flags & OS_REASON_IFLAG_USER_FAULT) {
+               uint32_t old_value = atomic_load_explicit(&p->p_user_faults,
+                   memory_order_relaxed);
+               for (;;) {
+                       if (old_value >= OS_REASON_TOTAL_USER_FAULTS_PER_PROC) {
+                               return EQFULL;
+                       }
+                       // this reloads the value in old_value
+                       if (atomic_compare_exchange_strong_explicit(&p->p_user_faults,
+                           &old_value, old_value + 1, memory_order_relaxed,
+                           memory_order_relaxed)) {
+                               break;
+                       }
+               }
+       }
+
+       KERNEL_DEBUG_CONSTANT(BSDDBG_CODE(DBG_BSD_PROC, BSD_PROC_EXITREASON_CREATE) | DBG_FUNC_NONE,
+           p->p_pid, reason_namespace,
+           reason_code, 0, 0);
+
+       exit_reason = build_userspace_exit_reason(reason_namespace, reason_code,
+           payload, payload_size, reason_string, reason_flags | OS_REASON_FLAG_ABORT);
+
+       if (internal_flags & OS_REASON_IFLAG_USER_FAULT) {
+               mach_exception_code_t code = 0;
+
+               EXC_GUARD_ENCODE_TYPE(code, GUARD_TYPE_USER); /* simulated EXC_GUARD */
+               EXC_GUARD_ENCODE_FLAVOR(code, 0);
+               EXC_GUARD_ENCODE_TARGET(code, reason_namespace);
+
+               if (exit_reason == OS_REASON_NULL) {
+                       kr = KERN_RESOURCE_SHORTAGE;
+               } else {
+                       kr = task_violated_guard(code, reason_code, exit_reason);
+               }
+               os_reason_free(exit_reason);
+       } else {
+               /*
+                * We use SIGABRT (rather than calling exit directly from here) so that
+                * the debugger can catch abort_with_{reason,payload} calls.
+                */
+               psignal_try_thread_with_reason(p, current_thread(), SIGABRT, exit_reason);
+       }
+
+       switch (kr) {
+       case KERN_SUCCESS:
+               return 0;
+       case KERN_NOT_SUPPORTED:
+               return ENOTSUP;
+       case KERN_INVALID_ARGUMENT:
+               return EINVAL;
+       case KERN_RESOURCE_SHORTAGE:
+       default:
+               return EBUSY;
+       }
+}
+
+int
+abort_with_payload(struct proc *cur_proc, struct abort_with_payload_args *args,
+    __unused void *retval)
+{
+       abort_with_payload_internal(cur_proc, args->reason_namespace,
+           args->reason_code, args->payload, args->payload_size,
+           args->reason_string, args->reason_flags, 0);
+
+       return 0;
+}
+
+int
+os_fault_with_payload(struct proc *cur_proc,
+    struct os_fault_with_payload_args *args, __unused int *retval)
+{
+       return abort_with_payload_internal(cur_proc, args->reason_namespace,
+                  args->reason_code, args->payload, args->payload_size,
+                  args->reason_string, args->reason_flags, OS_REASON_IFLAG_USER_FAULT);
+}
+
+
 /*
  * exit --
  *     Death of process.
  */
+__attribute__((noreturn))
 void
-exit(struct proc *p, struct exit_args *uap, int *retval)
+exit(proc_t p, struct exit_args *uap, int *retval)
 {
-       exit1(p, W_EXITCODE(uap->rval, 0), retval);
+       p->p_xhighbits = ((uint32_t)(uap->rval) & 0xFF000000) >> 24;
+       exit1(p, W_EXITCODE((uint32_t)uap->rval, 0), retval);
 
-       /* drop funnel before we return */
-       thread_funnel_set(kernel_flock, FALSE);
        thread_exception_return();
        /* NOTREACHED */
-       while (TRUE)
+       while (TRUE) {
                thread_block(THREAD_CONTINUE_NULL);
+       }
        /* NOTREACHED */
 }
 
@@ -173,12 +853,29 @@ exit(struct proc *p, struct exit_args *uap, int *retval)
  * status and rusage for wait().  Check for child processes and orphan them.
  */
 int
-exit1(struct proc *p, int rv, int *retval)
+exit1(proc_t p, int rv, int *retval)
+{
+       return exit1_internal(p, rv, retval, TRUE, TRUE, 0);
+}
+
+int
+exit1_internal(proc_t p, int rv, int *retval, boolean_t thread_can_terminate, boolean_t perf_notify,
+    int jetsam_flags)
+{
+       return exit_with_reason(p, rv, retval, thread_can_terminate, perf_notify, jetsam_flags, OS_REASON_NULL);
+}
+
+/*
+ * NOTE: exit_with_reason drops a reference on the passed exit_reason
+ */
+int
+exit_with_reason(proc_t p, int rv, int *retval, boolean_t thread_can_terminate, boolean_t perf_notify,
+    int jetsam_flags, struct os_reason *exit_reason)
 {
        thread_t self = current_thread();
        struct task *task = p->task;
-       register int s;
        struct uthread *ut;
+       int error = 0;
 
        /*
         * If a thread in this task has already
@@ -186,115 +883,362 @@ exit1(struct proc *p, int rv, int *retval)
         * right here.
         */
 
-        ut = get_bsdthread_info(self);
-        if (ut->uu_flag & UT_VFORK) {
-                       vfork_exit(p, rv);
-                       vfork_return(self, p->p_pptr, p , retval);
-                       unix_syscall_return(0);
-                       /* NOT REACHED */
-        }
-       AUDIT_SYSCALL_EXIT(0, p, ut); /* Exit is always successfull */
-        signal_lock(p);
+       ut = get_bsdthread_info(self);
+       if ((p == current_proc()) &&
+           (ut->uu_flag & UT_VFORK)) {
+               os_reason_free(exit_reason);
+               if (!thread_can_terminate) {
+                       return EINVAL;
+               }
+
+               vfork_exit(p, rv);
+               vfork_return(p, retval, p->p_pid);
+               unix_syscall_return(0);
+               /* NOT REACHED */
+       }
+
+       /*
+        * The parameter list of audit_syscall_exit() was augmented to
+        * take the Darwin syscall number as the first parameter,
+        * which is currently required by mac_audit_postselect().
+        */
+
+       /*
+        * The BSM token contains two components: an exit status as passed
+        * to exit(), and a return value to indicate what sort of exit it
+        * was.  The exit status is WEXITSTATUS(rv), but it's not clear
+        * what the return value is.
+        */
+       AUDIT_ARG(exit, WEXITSTATUS(rv), 0);
+       /*
+        * TODO: what to audit here when jetsam calls exit and the uthread,
+        * 'ut' does not belong to the proc, 'p'.
+        */
+       AUDIT_SYSCALL_EXIT(SYS_exit, p, ut, 0); /* Exit is always successfull */
+
+       DTRACE_PROC1(exit, int, CLD_EXITED);
+
+       /* mark process is going to exit and pull out of DBG/disk throttle */
+       /* TODO: This should be done after becoming exit thread */
+       proc_set_task_policy(p->task, TASK_POLICY_ATTRIBUTE,
+           TASK_POLICY_TERMINATED, TASK_POLICY_ENABLE);
+
+       proc_lock(p);
+       error = proc_transstart(p, 1, (jetsam_flags ? 1 : 0));
+       if (error == EDEADLK) {
+               /*
+                * If proc_transstart() returns EDEADLK, then another thread
+                * is either exec'ing or exiting. Return an error and allow
+                * the other thread to continue.
+                */
+               proc_unlock(p);
+               os_reason_free(exit_reason);
+               if (current_proc() == p) {
+                       if (p->exit_thread == self) {
+                               printf("exit_thread failed to exit, leaving process %s[%d] in unkillable limbo\n",
+                                   p->p_comm, p->p_pid);
+                       }
+
+                       if (thread_can_terminate) {
+                               thread_exception_return();
+                       }
+               }
+
+               return error;
+       }
+
        while (p->exit_thread != self) {
                if (sig_try_locked(p) <= 0) {
+                       proc_transend(p, 1);
+                       os_reason_free(exit_reason);
+
                        if (get_threadtask(self) != task) {
-                                signal_unlock(p);
-                               return(0);
-                        }
-                       signal_unlock(p);
+                               proc_unlock(p);
+                               return 0;
+                       }
+                       proc_unlock(p);
+
                        thread_terminate(self);
-                       thread_funnel_set(kernel_flock, FALSE);
+                       if (!thread_can_terminate) {
+                               return 0;
+                       }
+
                        thread_exception_return();
                        /* NOTREACHED */
                }
                sig_lock_to_exit(p);
        }
-        signal_unlock(p);
-       if (p->p_pid == 1) {
-               printf("pid 1 exited (signal %d, exit %d)",
-                   WTERMSIG(rv), WEXITSTATUS(rv));
-               panic("init died\nState at Last Exception:\n\n%s", 
-                                                       init_task_failure_data);
+
+       if (exit_reason != OS_REASON_NULL) {
+               KERNEL_DEBUG_CONSTANT(BSDDBG_CODE(DBG_BSD_PROC, BSD_PROC_EXITREASON_COMMIT) | DBG_FUNC_NONE,
+                   p->p_pid, exit_reason->osr_namespace,
+                   exit_reason->osr_code, 0, 0);
        }
 
-       s = splsched();
-       p->p_flag |= P_WEXIT;
-       splx(s);
-       proc_prepareexit(p);
+       assert(p->p_exit_reason == OS_REASON_NULL);
+       p->p_exit_reason = exit_reason;
+
+       p->p_lflag |= P_LEXIT;
        p->p_xstat = rv;
+       p->p_lflag |= jetsam_flags;
 
-       /* task terminate will call proc_terminate and that cleans it up */
+       proc_transend(p, 1);
+       proc_unlock(p);
+
+       proc_prepareexit(p, rv, perf_notify);
+
+       /* Last thread to terminate will call proc_exit() */
        task_terminate_internal(task);
 
-       return(0);
+       return 0;
+}
+
+#if CONFIG_MEMORYSTATUS
+/*
+ * Remove this process from jetsam bands for freezing or exiting. Note this will block, if the process
+ * is currently being frozen.
+ * The proc_list_lock is held by the caller.
+ * NB: If the process should be ineligible for future freezing or jetsaming the caller should first set
+ * the p_listflag P_LIST_EXITED bit.
+ */
+static void
+proc_memorystatus_remove(proc_t p)
+{
+       LCK_MTX_ASSERT(proc_list_mlock, LCK_MTX_ASSERT_OWNED);
+       while (memorystatus_remove(p) == EAGAIN) {
+               os_log(OS_LOG_DEFAULT, "memorystatus_remove: Process[%d] tried to exit while being frozen. Blocking exit until freeze completes.", p->p_pid);
+               msleep(&p->p_memstat_state, proc_list_mlock, PWAIT, "proc_memorystatus_remove", NULL);
+       }
 }
+#endif
 
 void
-proc_prepareexit(struct proc *p) 
+proc_prepareexit(proc_t p, int rv, boolean_t perf_notify)
 {
+       mach_exception_data_type_t code = 0, subcode = 0;
+
        struct uthread *ut;
-       exception_data_t        code[EXCEPTION_CODE_MAX];
        thread_t self = current_thread();
+       ut = get_bsdthread_info(self);
+       struct rusage_superset *rup;
+       int kr = 0;
+       int create_corpse = FALSE;
+
+       if (p == initproc) {
+               launchd_crashed_panic(p, rv);
+               /* NOTREACHED */
+       }
+
+       /*
+        * Generate a corefile/crashlog if:
+        *      The process doesn't have an exit reason that indicates no crash report should be created
+        *      AND any of the following are true:
+        *      - The process was terminated due to a fatal signal that generates a core
+        *      - The process was killed due to a code signing violation
+        *      - The process has an exit reason that indicates we should generate a crash report
+        *
+        * The first condition is necessary because abort_with_reason()/payload() use SIGABRT
+        * (which normally triggers a core) but may indicate that no crash report should be created.
+        */
+       if (!(PROC_HAS_EXITREASON(p) && (PROC_EXITREASON_FLAGS(p) & OS_REASON_FLAG_NO_CRASH_REPORT)) &&
+           (hassigprop(WTERMSIG(rv), SA_CORE) || ((p->p_csflags & CS_KILLED) != 0) ||
+           (PROC_HAS_EXITREASON(p) && (PROC_EXITREASON_FLAGS(p) &
+           OS_REASON_FLAG_GENERATE_CRASH_REPORT)))) {
+               /*
+                * Workaround for processes checking up on PT_DENY_ATTACH:
+                * should be backed out post-Leopard (details in 5431025).
+                */
+               if ((SIGSEGV == WTERMSIG(rv)) &&
+                   (p->p_pptr->p_lflag & P_LNOATTACH)) {
+                       goto skipcheck;
+               }
+
+               /*
+                * Crash Reporter looks for the signal value, original exception
+                * type, and low 20 bits of the original code in code[0]
+                * (8, 4, and 20 bits respectively). code[1] is unmodified.
+                */
+               code = ((WTERMSIG(rv) & 0xff) << 24) |
+                   ((ut->uu_exception & 0x0f) << 20) |
+                   ((int)ut->uu_code & 0xfffff);
+               subcode = ut->uu_subcode;
+
+               kr = task_exception_notify(EXC_CRASH, code, subcode);
+
+               /* Nobody handled EXC_CRASH?? remember to make corpse */
+               if (kr != 0) {
+                       create_corpse = TRUE;
+               }
+       }
+
+skipcheck:
+       /* Notify the perf server? */
+       if (perf_notify) {
+               (void)sys_perf_notify(self, p->p_pid);
+       }
+
 
-       code[0] = (exception_data_t)0xFF000001;         /* Set terminate code */
-       code[1] = (exception_data_t)p->p_pid;           /* Pass out the pid */
-       /* Notify the perf server */
-       (void)sys_perf_notify(p->task, (exception_data_t)&code, 2);
+       /* stash the usage into corpse data if making_corpse == true */
+       if (create_corpse == TRUE) {
+               kr = task_mark_corpse(p->task);
+               if (kr != KERN_SUCCESS) {
+                       if (kr == KERN_NO_SPACE) {
+                               printf("Process[%d] has no vm space for corpse info.\n", p->p_pid);
+                       } else if (kr == KERN_NOT_SUPPORTED) {
+                               printf("Process[%d] was destined to be corpse. But corpse is disabled by config.\n", p->p_pid);
+                       } else {
+                               printf("Process[%d] crashed: %s. Too many corpses being created.\n", p->p_pid, p->p_comm);
+                       }
+                       create_corpse = FALSE;
+               }
+       }
 
+       /*
+        * Before this process becomes a zombie, stash resource usage
+        * stats in the proc for external observers to query
+        * via proc_pid_rusage().
+        *
+        * If the zombie allocation fails, just punt the stats.
+        */
+       rup = zalloc(zombie_zone);
+       gather_rusage_info(p, &rup->ri, RUSAGE_INFO_CURRENT);
+       rup->ri.ri_phys_footprint = 0;
+       rup->ri.ri_proc_exit_abstime = mach_absolute_time();
+       /*
+        * Make the rusage_info visible to external observers
+        * only after it has been completely filled in.
+        */
+       p->p_ru = rup;
+
+       if (create_corpse) {
+               int est_knotes = 0, num_knotes = 0;
+               uint64_t *buffer = NULL;
+               uint32_t buf_size = 0;
+
+               /* Get all the udata pointers from kqueue */
+               est_knotes = kevent_proc_copy_uptrs(p, NULL, 0);
+               if (est_knotes > 0) {
+                       buf_size = (uint32_t)((est_knotes + 32) * sizeof(uint64_t));
+                       buffer = kheap_alloc(KHEAP_TEMP, buf_size, Z_WAITOK);
+                       num_knotes = kevent_proc_copy_uptrs(p, buffer, buf_size);
+                       if (num_knotes > est_knotes + 32) {
+                               num_knotes = est_knotes + 32;
+                       }
+               }
+
+               /* Update the code, subcode based on exit reason */
+               proc_update_corpse_exception_codes(p, &code, &subcode);
+               populate_corpse_crashinfo(p, p->task, rup,
+                   code, subcode, buffer, num_knotes, NULL);
+               if (buffer != NULL) {
+                       kheap_free(KHEAP_TEMP, buffer, buf_size);
+               }
+       }
        /*
         * Remove proc from allproc queue and from pidhash chain.
         * Need to do this before we do anything that can block.
         * Not doing causes things like mount() find this on allproc
         * in partially cleaned state.
         */
+
+       proc_list_lock();
+
+#if CONFIG_MEMORYSTATUS
+       proc_memorystatus_remove(p);
+#endif
+
        LIST_REMOVE(p, p_list);
-       LIST_INSERT_HEAD(&zombproc, p, p_list); /* Place onto zombproc. */
-       LIST_REMOVE(p, p_hash);
+       LIST_INSERT_HEAD(&zombproc, p, p_list); /* Place onto zombproc. */
+       /* will not be visible via proc_find */
+       p->p_listflag |= P_LIST_EXITED;
+
+       proc_list_unlock();
 
 #ifdef PGINPROF
        vmsizmon();
 #endif
        /*
         * If parent is waiting for us to exit or exec,
-        * P_PPWAIT is set; we will wakeup the parent below.
+        * P_LPPWAIT is set; we will wakeup the parent below.
         */
-       p->p_flag &= ~(P_TRACED | P_PPWAIT);
+       proc_lock(p);
+       p->p_lflag &= ~(P_LTRACED | P_LPPWAIT);
        p->p_sigignore = ~(sigcantmask);
-       p->p_siglist = 0;
-       ut = get_bsdthread_info(self);
        ut->uu_siglist = 0;
-       untimeout(realitexpire, (caddr_t)p->p_pid);
+       proc_unlock(p);
 }
 
-void 
-proc_exit(struct proc *p)
+void
+proc_exit(proc_t p)
 {
-       register struct proc *q, *nq, *pp;
+       proc_t q;
+       proc_t pp;
        struct task *task = p->task;
-       register int s;
-       boolean_t funnel_state;
+       vnode_t tvp = NULLVP;
+       struct pgrp * pg;
+       struct session *sessp;
+       struct uthread * uth;
+       pid_t pid;
+       int exitval;
+       int knote_hint;
+
+       uth = current_uthread();
+
+       proc_lock(p);
+       proc_transstart(p, 1, 0);
+       if (!(p->p_lflag & P_LEXIT)) {
+               /*
+                * This can happen if a thread_terminate() occurs
+                * in a single-threaded process.
+                */
+               p->p_lflag |= P_LEXIT;
+               proc_transend(p, 1);
+               proc_unlock(p);
+               proc_prepareexit(p, 0, TRUE);
+               (void) task_terminate_internal(task);
+               proc_lock(p);
+       } else {
+               proc_transend(p, 1);
+       }
 
-       /* This can happen if thread_terminate of the single thread
-        * process 
-        */
+       p->p_lflag |= P_LPEXIT;
 
-       funnel_state = thread_funnel_set(kernel_flock, TRUE);
-       if( !(p->p_flag & P_WEXIT)) {
-               s = splsched();
-               p->p_flag |= P_WEXIT;
-               splx(s);
-               proc_prepareexit(p);    
+       /*
+        * Other kernel threads may be in the middle of signalling this process.
+        * Wait for those threads to wrap it up before making the process
+        * disappear on them.
+        */
+       if ((p->p_lflag & P_LINSIGNAL) || (p->p_sigwaitcnt > 0)) {
+               p->p_sigwaitcnt++;
+               while ((p->p_lflag & P_LINSIGNAL) || (p->p_sigwaitcnt > 1)) {
+                       msleep(&p->p_sigmask, &p->p_mlock, PWAIT, "proc_sigdrain", NULL);
+               }
+               p->p_sigwaitcnt--;
        }
 
-       p->p_lflag |= P_LPEXIT;
-       /* XXX Zombie allocation may fail, in which case stats get lost */
-       MALLOC_ZONE(p->p_ru, struct rusage *,
-                       sizeof (*p->p_ru), M_ZOMBIE, M_WAITOK);
+       proc_unlock(p);
+       pid = p->p_pid;
+       exitval = p->p_xstat;
+       KERNEL_DEBUG_CONSTANT_IST(KDEBUG_COMMON,
+           BSDDBG_CODE(DBG_BSD_PROC, BSD_PROC_EXIT) | DBG_FUNC_START,
+           pid, exitval, 0, 0, 0);
+
+#if CONFIG_DTRACE
+       dtrace_proc_exit(p);
+#endif
 
        /*
         * need to cancel async IO requests that can be cancelled and wait for those
         * already active.  MAY BLOCK!
         */
+
+       proc_refdrain(p);
+
+       /* if any pending cpu limits action, clear it */
+       task_clear_cpuusage(p->task, TRUE);
+
+       workq_mark_exiting(p);
+
        _aio_exit( p );
 
        /*
@@ -303,18 +1247,54 @@ proc_exit(struct proc *p)
         */
        fdfree(p);
 
+       /*
+        * Once all the knotes, kqueues & workloops are destroyed, get rid of the
+        * workqueue.
+        */
+       workq_exit(p);
+
+       if (uth->uu_lowpri_window) {
+               /*
+                * task is marked as a low priority I/O type
+                * and the I/O we issued while in flushing files on close
+                * collided with normal I/O operations...
+                * no need to throttle this thread since its going away
+                * but we do need to update our bookeeping w/r to throttled threads
+                */
+               throttle_lowpri_io(0);
+       }
+
+       if (p->p_lflag & P_LNSPACE_RESOLVER) {
+               /*
+                * The namespace resolver is exiting; there may be
+                * outstanding materialization requests to clean up.
+                */
+               nspace_resolver_exited(p);
+       }
+
+#if SYSV_SHM
        /* Close ref SYSV Shared memory*/
-       if (p->vm_shm)
+       if (p->vm_shm) {
                shmexit(p);
+       }
+#endif
+#if SYSV_SEM
        /* Release SYSV semaphores */
        semexit(p);
-       
-       if (SESS_LEADER(p)) {
-               register struct session *sp = p->p_session;
+#endif
+
+#if PSYNCH
+       pth_proc_hashdelete(p);
+#endif /* PSYNCH */
 
-               if (sp->s_ttyvp) {
+       sessp = proc_session(p);
+       if (SESS_LEADER(p, sessp)) {
+               if (sessp->s_ttyvp != NULLVP) {
                        struct vnode *ttyvp;
+                       int ttyvid;
+                       int cttyflag = 0;
                        struct vfs_context context;
+                       struct tty *tp;
 
                        /*
                         * Controlling process.
@@ -322,111 +1302,204 @@ proc_exit(struct proc *p)
                         * drain controlling terminal
                         * and revoke access to controlling terminal.
                         */
-                       if (sp->s_ttyp->t_session == sp) {
-                               if (sp->s_ttyp->t_pgrp)
-                                       pgsignal(sp->s_ttyp->t_pgrp, SIGHUP, 1);
-                               (void) ttywait(sp->s_ttyp);
-                               /*
-                                * The tty could have been revoked
-                                * if we blocked.
-                                */
-                               context.vc_proc = p;
-                               context.vc_ucred = p->p_ucred;
-                               if (sp->s_ttyvp)
-                                       VNOP_REVOKE(sp->s_ttyvp, REVOKEALL, &context);
+                       session_lock(sessp);
+                       tp = SESSION_TP(sessp);
+                       if ((tp != TTY_NULL) && (tp->t_session == sessp)) {
+                               session_unlock(sessp);
+
+                               tty_pgsignal(tp, SIGHUP, 1);
+
+                               session_lock(sessp);
+                               tp = SESSION_TP(sessp);
+                       }
+                       cttyflag = sessp->s_flags & S_CTTYREF;
+                       sessp->s_flags &= ~S_CTTYREF;
+                       ttyvp = sessp->s_ttyvp;
+                       ttyvid = sessp->s_ttyvid;
+                       sessp->s_ttyvp = NULLVP;
+                       sessp->s_ttyvid = 0;
+                       sessp->s_ttyp = TTY_NULL;
+                       sessp->s_ttypgrpid = NO_PID;
+                       session_unlock(sessp);
+
+                       if ((ttyvp != NULLVP) && (vnode_getwithvid(ttyvp, ttyvid) == 0)) {
+                               if (tp != TTY_NULL) {
+                                       tty_lock(tp);
+                                       (void) ttywait(tp);
+                                       tty_unlock(tp);
+                               }
+
+                               context.vc_thread = NULL;
+                               context.vc_ucred = kauth_cred_proc_ref(p);
+                               VNOP_REVOKE(ttyvp, REVOKEALL, &context);
+                               if (cttyflag) {
+                                       /*
+                                        * Release the extra usecount taken in cttyopen.
+                                        * usecount should be released after VNOP_REVOKE is called.
+                                        * This usecount was taken to ensure that
+                                        * the VNOP_REVOKE results in a close to
+                                        * the tty since cttyclose is a no-op.
+                                        */
+                                       vnode_rele(ttyvp);
+                               }
+                               vnode_put(ttyvp);
+                               kauth_cred_unref(&context.vc_ucred);
+                               ttyvp = NULLVP;
                        }
-                       ttyvp = sp->s_ttyvp;
-                       sp->s_ttyvp = NULL;
-                       if (ttyvp) {
-                               vnode_rele(ttyvp);
+                       if (tp) {
+                               ttyfree(tp);
                        }
-                       /*
-                        * s_ttyp is not zero'd; we use this to indicate
-                        * that the session once had a controlling terminal.
-                        * (for logging and informational purposes)
-                        */
                }
-               sp->s_leader = NULL;
+               session_lock(sessp);
+               sessp->s_leader = NULL;
+               session_unlock(sessp);
        }
+       session_rele(sessp);
 
-       fixjobc(p, p->p_pgrp, 0);
-       p->p_rlimit[RLIMIT_FSIZE].rlim_cur = RLIM_INFINITY;
-       (void)acct_process(p);
+       pg = proc_pgrp(p);
+       fixjobc(p, pg, 0);
+       pg_rele(pg);
 
-#if KTRACE
-       /* 
-        * release trace file
+       /*
+        * Change RLIMIT_FSIZE for accounting/debugging. proc_limitsetcur_internal() will COW the current plimit
+        * before making changes if the current plimit is shared. The COW'ed plimit will be freed
+        * below by calling proc_limitdrop().
         */
-       p->p_traceflag = 0;     /* don't trace the vnode_put() */
-       if (p->p_tracep) {
-               struct vnode *tvp = p->p_tracep;
-               p->p_tracep = NULL;
-               vnode_rele(tvp);
+       proc_limitsetcur_internal(p, RLIMIT_FSIZE, RLIM_INFINITY);
+
+       (void)acct_process(p);
+
+       proc_list_lock();
+
+       if ((p->p_listflag & P_LIST_EXITCOUNT) == P_LIST_EXITCOUNT) {
+               p->p_listflag &= ~P_LIST_EXITCOUNT;
+               proc_shutdown_exitcount--;
+               if (proc_shutdown_exitcount == 0) {
+                       wakeup(&proc_shutdown_exitcount);
+               }
        }
-#endif
 
-       while (q = p->p_children.lh_first) {
-               proc_reparent(q, initproc);
-               /*
-                * Traced processes are killed
-                * since their existence means someone is messing up.
-                */
-               if (q->p_flag & P_TRACED) {
-                       q->p_flag &= ~P_TRACED;
-                       if (q->sigwait_thread) {
+       /* wait till parentrefs are dropped and grant no more */
+       proc_childdrainstart(p);
+       while ((q = p->p_children.lh_first) != NULL) {
+               int reparentedtoinit = (q->p_listflag & P_LIST_DEADPARENT) ? 1 : 0;
+               if (q->p_stat == SZOMB) {
+                       if (p != q->p_pptr) {
+                               panic("parent child linkage broken");
+                       }
+                       /* check for sysctl zomb lookup */
+                       while ((q->p_listflag & P_LIST_WAITING) == P_LIST_WAITING) {
+                               msleep(&q->p_stat, proc_list_mlock, PWAIT, "waitcoll", 0);
+                       }
+                       q->p_listflag |= P_LIST_WAITING;
+                       /*
+                        * This is a named reference and it is not granted
+                        * if the reap is already in progress. So we get
+                        * the reference here exclusively and their can be
+                        * no waiters. So there is no need for a wakeup
+                        * after we are done.  Also the reap frees the structure
+                        * and the proc struct cannot be used for wakeups as well.
+                        * It is safe to use q here as this is system reap
+                        */
+                       (void)reap_child_locked(p, q, 1, reparentedtoinit, 1, 0);
+               } else {
+                       /*
+                        * Traced processes are killed
+                        * since their existence means someone is messing up.
+                        */
+                       if (q->p_lflag & P_LTRACED) {
+                               struct proc *opp;
+
                                /*
-                                * The sigwait_thread could be stopped at a
-                                * breakpoint. Wake it up to kill.
-                                * Need to do this as it could be a thread which is not
-                                * the first thread in the task. So any attempts to kill
-                                * the process would result into a deadlock on q->sigwait.
+                                * Take a reference on the child process to
+                                * ensure it doesn't exit and disappear between
+                                * the time we drop the list_lock and attempt
+                                * to acquire its proc_lock.
                                 */
-                               thread_resume((thread_t)q->sigwait_thread);
-                               clear_wait(q->sigwait_thread, THREAD_INTERRUPTED);
-                               threadsignal((thread_t)q->sigwait_thread, SIGKILL, 0);
+                               if (proc_ref_locked(q) != q) {
+                                       continue;
+                               }
+
+                               proc_list_unlock();
+
+                               opp = proc_find(q->p_oppid);
+                               if (opp != PROC_NULL) {
+                                       proc_list_lock();
+                                       q->p_oppid = 0;
+                                       proc_list_unlock();
+                                       proc_reparentlocked(q, opp, 0, 0);
+                                       proc_rele(opp);
+                               } else {
+                                       /* original parent exited while traced */
+                                       proc_list_lock();
+                                       q->p_listflag |= P_LIST_DEADPARENT;
+                                       q->p_oppid = 0;
+                                       proc_list_unlock();
+                                       proc_reparentlocked(q, initproc, 0, 0);
+                               }
+
+                               proc_lock(q);
+                               q->p_lflag &= ~P_LTRACED;
+
+                               if (q->sigwait_thread) {
+                                       thread_t thread = q->sigwait_thread;
+
+                                       proc_unlock(q);
+                                       /*
+                                        * The sigwait_thread could be stopped at a
+                                        * breakpoint. Wake it up to kill.
+                                        * Need to do this as it could be a thread which is not
+                                        * the first thread in the task. So any attempts to kill
+                                        * the process would result into a deadlock on q->sigwait.
+                                        */
+                                       thread_resume(thread);
+                                       clear_wait(thread, THREAD_INTERRUPTED);
+                                       threadsignal(thread, SIGKILL, 0, TRUE);
+                               } else {
+                                       proc_unlock(q);
+                               }
+
+                               psignal(q, SIGKILL);
+                               proc_list_lock();
+                               proc_rele_locked(q);
+                       } else {
+                               q->p_listflag |= P_LIST_DEADPARENT;
+                               proc_reparentlocked(q, initproc, 0, 1);
                        }
-                       psignal(q, SIGKILL);
                }
        }
 
+       proc_childdrainend(p);
+       proc_list_unlock();
+
+#if CONFIG_MACF
+       /*
+        * Notify MAC policies that proc is dead.
+        * This should be replaced with proper label management
+        * (rdar://problem/32126399).
+        */
+       mac_proc_notify_exit(p);
+#endif
+
+       /*
+        * Release reference to text vnode
+        */
+       tvp = p->p_textvp;
+       p->p_textvp = NULL;
+       if (tvp != NULLVP) {
+               vnode_rele(tvp);
+       }
+
        /*
         * Save exit status and final rusage info, adding in child rusage
         * info and self times.  If we were unable to allocate a zombie
         * structure, this information is lost.
         */
        if (p->p_ru != NULL) {
-           *p->p_ru = p->p_stats->p_ru;
-
-           timerclear(&p->p_ru->ru_utime);
-           timerclear(&p->p_ru->ru_stime);
-
-           if (task) {
-               task_basic_info_data_t tinfo;
-               task_thread_times_info_data_t ttimesinfo;
-               int task_info_stuff, task_ttimes_stuff;
-               struct timeval ut,st;
-
-               task_info_stuff = TASK_BASIC_INFO_COUNT;
-               task_info(task, TASK_BASIC_INFO,
-                         (task_info_t)&tinfo, &task_info_stuff);
-               p->p_ru->ru_utime.tv_sec = tinfo.user_time.seconds;
-               p->p_ru->ru_utime.tv_usec = tinfo.user_time.microseconds;
-               p->p_ru->ru_stime.tv_sec = tinfo.system_time.seconds;
-               p->p_ru->ru_stime.tv_usec = tinfo.system_time.microseconds;
+               calcru(p, &p->p_stats->p_ru.ru_utime, &p->p_stats->p_ru.ru_stime, NULL);
+               p->p_ru->ru = p->p_stats->p_ru;
 
-               task_ttimes_stuff = TASK_THREAD_TIMES_INFO_COUNT;
-               task_info(task, TASK_THREAD_TIMES_INFO,
-                         (task_info_t)&ttimesinfo, &task_ttimes_stuff);
-
-               ut.tv_sec = ttimesinfo.user_time.seconds;
-               ut.tv_usec = ttimesinfo.user_time.microseconds;
-               st.tv_sec = ttimesinfo.system_time.seconds;
-               st.tv_usec = ttimesinfo.system_time.microseconds;
-               timeradd(&ut,&p->p_ru->ru_utime,&p->p_ru->ru_utime);
-               timeradd(&st,&p->p_ru->ru_stime,&p->p_ru->ru_stime);
-           }
-
-           ruadd(p->p_ru, &p->p_stats->p_cru);
+               ruadd(&(p->p_ru->ru), &p->p_stats->p_cru);
        }
 
        /*
@@ -445,18 +1518,18 @@ proc_exit(struct proc *p)
                }
        }
 
+       proc_free_realitimer(p);
+
        /*
         * Other substructures are freed from wait().
         */
-       FREE_ZONE(p->p_stats, sizeof *p->p_stats, M_SUBPROC);
+       zfree(proc_stats_zone, p->p_stats);
        p->p_stats = NULL;
 
-       FREE_ZONE(p->p_sigacts, sizeof *p->p_sigacts, M_SUBPROC);
+       zfree(proc_sigacts_zone, p->p_sigacts);
        p->p_sigacts = NULL;
 
-       if (--p->p_limit->p_refcnt == 0)
-               FREE_ZONE(p->p_limit, sizeof *p->p_limit, M_SUBPROC);
-       p->p_limit = NULL;
+       proc_limitdrop(p);
 
        /*
         * Finish up by terminating the task
@@ -464,52 +1537,133 @@ proc_exit(struct proc *p)
         * member of the task exiting).
         */
        p->task = TASK_NULL;
-       //task->proc = NULL;
        set_bsdtask_info(task, NULL);
 
-       KNOTE(&p->p_klist, NOTE_EXIT);
+       knote_hint = NOTE_EXIT | (p->p_xstat & 0xffff);
+       proc_knote(p, knote_hint);
 
+       /* mark the thread as the one that is doing proc_exit
+        * no need to hold proc lock in uthread_free
+        */
+       uth->uu_flag |= UT_PROCEXIT;
        /*
         * Notify parent that we're gone.
         */
-       if (p->p_pptr->p_flag & P_NOCLDWAIT) {
-               struct proc *opp = p->p_pptr;
+       pp = proc_parent(p);
+       if (pp->p_flag & P_NOCLDWAIT) {
+               if (p->p_ru != NULL) {
+                       proc_lock(pp);
+#if 3839178
+                       /*
+                        * If the parent is ignoring SIGCHLD, then POSIX requires
+                        * us to not add the resource usage to the parent process -
+                        * we are only going to hand it off to init to get reaped.
+                        * We should contest the standard in this case on the basis
+                        * of RLIMIT_CPU.
+                        */
+#else   /* !3839178 */
+                       /*
+                        * Add child resource usage to parent before giving
+                        * zombie to init.  If we were unable to allocate a
+                        * zombie structure, this information is lost.
+                        */
+                       ruadd(&pp->p_stats->p_cru, &p->p_ru->ru);
+#endif  /* !3839178 */
+                       update_rusage_info_child(&pp->p_stats->ri_child, &p->p_ru->ri);
+                       proc_unlock(pp);
+               }
 
+               /* kernel can reap this one, no need to move it to launchd */
+               proc_list_lock();
+               p->p_listflag |= P_LIST_DEADPARENT;
+               proc_list_unlock();
+       }
+       if ((p->p_listflag & P_LIST_DEADPARENT) == 0 || p->p_oppid) {
+               if (pp != initproc) {
+                       proc_lock(pp);
+                       pp->si_pid = p->p_pid;
+                       pp->p_xhighbits = p->p_xhighbits;
+                       p->p_xhighbits = 0;
+                       pp->si_status = p->p_xstat;
+                       pp->si_code = CLD_EXITED;
+                       /*
+                        * p_ucred usage is safe as it is an exiting process
+                        * and reference is dropped in reap
+                        */
+                       pp->si_uid = kauth_cred_getruid(p->p_ucred);
+                       proc_unlock(pp);
+               }
+               /* mark as a zombie */
+               /* No need to take proc lock as all refs are drained and
+                * no one except parent (reaping ) can look at this.
+                * The write is to an int and is coherent. Also parent is
+                *  keyed off of list lock for reaping
+                */
+               DTRACE_PROC2(exited, proc_t, p, int, exitval);
+               KERNEL_DEBUG_CONSTANT_IST(KDEBUG_COMMON,
+                   BSDDBG_CODE(DBG_BSD_PROC, BSD_PROC_EXIT) | DBG_FUNC_END,
+                   pid, exitval, 0, 0, 0);
+               p->p_stat = SZOMB;
                /*
-                * Add child resource usage to parent before giving
-                * zombie to init.  If we were unable to allocate a
-                * zombie structure, this information is lost.
+                * The current process can be reaped so, no one
+                * can depend on this
                 */
-               if (p->p_ru != NULL)
-                       ruadd(&p->p_pptr->p_stats->p_cru, p->p_ru);
 
-               proc_reparent(p, initproc);
-               /* If there are no more children wakeup parent */
-               if (LIST_EMPTY(&opp->p_children))
-                       wakeup((caddr_t)opp);
-       }
-       /* should be fine as parent proc would be initproc */
-       pp = p->p_pptr;
-       if (pp != initproc) {
-               pp->si_pid = p->p_pid;
-               pp->si_status = p->p_xstat;
-               pp->si_code = CLD_EXITED;
-               pp->si_uid = p->p_ucred->cr_ruid;
-       }
-       /* mark as a zombie */
-       p->p_stat = SZOMB;
+               psignal(pp, SIGCHLD);
 
-       psignal(pp, SIGCHLD);
+               /* and now wakeup the parent */
+               proc_list_lock();
+               wakeup((caddr_t)pp);
+               proc_list_unlock();
+       } else {
+               /* should be fine as parent proc would be initproc */
+               /* mark as a zombie */
+               /* No need to take proc lock as all refs are drained and
+                * no one except parent (reaping ) can look at this.
+                * The write is to an int and is coherent. Also parent is
+                *  keyed off of list lock for reaping
+                */
+               DTRACE_PROC2(exited, proc_t, p, int, exitval);
+               proc_list_lock();
+               KERNEL_DEBUG_CONSTANT_IST(KDEBUG_COMMON,
+                   BSDDBG_CODE(DBG_BSD_PROC, BSD_PROC_EXIT) | DBG_FUNC_END,
+                   pid, exitval, 0, 0, 0);
+               /* check for sysctl zomb lookup */
+               while ((p->p_listflag & P_LIST_WAITING) == P_LIST_WAITING) {
+                       msleep(&p->p_stat, proc_list_mlock, PWAIT, "waitcoll", 0);
+               }
+               /* safe to use p as this is a system reap */
+               p->p_stat = SZOMB;
+               p->p_listflag |= P_LIST_WAITING;
 
-       /* and now wakeup the parent */
-       wakeup((caddr_t)p->p_pptr);
+               /*
+                * This is a named reference and it is not granted
+                * if the reap is already in progress. So we get
+                * the reference here exclusively and their can be
+                * no waiters. So there is no need for a wakeup
+                * after we are done. AlsO  the reap frees the structure
+                * and the proc struct cannot be used for wakeups as well.
+                * It is safe to use p here as this is system reap
+                */
+               (void)reap_child_locked(pp, p, 1, 0, 1, 1);
+               /* list lock dropped by reap_child_locked */
+       }
+       if (uth->uu_lowpri_window) {
+               /*
+                * task is marked as a low priority I/O type and we've
+                * somehow picked up another throttle during exit processing...
+                * no need to throttle this thread since its going away
+                * but we do need to update our bookeeping w/r to throttled threads
+                */
+               throttle_lowpri_io(0);
+       }
 
-       (void) thread_funnel_set(kernel_flock, funnel_state);
+       proc_rele(pp);
 }
 
 
 /*
- * reap_child_process
+ * reap_child_locked
  *
  * Description:        Given a process from which all status information needed
  *             has already been extracted, if the process is a ptrace
@@ -517,141 +1671,294 @@ proc_exit(struct proc *p)
  *             parent, else recover all resources remaining associated
  *             with it.
  *
- * Parameters: struct proc *parent     Parent of process being reaped
- *             struct proc *child      Process to reap
+ * Parameters: proc_t parent           Parent of process being reaped
+ *             proc_t child            Process to reap
  *
  * Returns:    0                       Process was not reaped because it
  *                                     came from an attach
  *             1                       Process was reaped
  */
 static int
-reap_child_process(struct proc *parent, struct proc *child)
+reap_child_locked(proc_t parent, proc_t child, int deadparent, int reparentedtoinit, int locked, int droplock)
 {
-       struct proc *trace_parent;      /* Traced parent process, if tracing */
-       struct vnode *tvp;              /* Traced vnode pointer, if used */
+       proc_t trace_parent = PROC_NULL;        /* Traced parent process, if tracing */
+
+       if (locked == 1) {
+               proc_list_unlock();
+       }
 
        /*
         * If we got the child via a ptrace 'attach',
         * we need to give it back to the old parent.
+        *
+        * Exception: someone who has been reparented to launchd before being
+        * ptraced can simply be reaped, refer to radar 5677288
+        *      p_oppid                  -> ptraced
+        *      trace_parent == initproc -> away from launchd
+        *      reparentedtoinit         -> came to launchd by reparenting
         */
-       if (child->p_oppid && (trace_parent = pfind(child->p_oppid))) {
+       if (child->p_oppid) {
+               int knote_hint;
+               pid_t oppid;
+
+               proc_lock(child);
+               oppid = child->p_oppid;
                child->p_oppid = 0;
-               proc_reparent(child, trace_parent);
-               if (trace_parent != initproc) {
-                       trace_parent->si_pid = child->p_pid;
-                       trace_parent->si_status = child->p_xstat;
-                       trace_parent->si_code = CLD_CONTINUED;
-                       trace_parent->si_uid = child->p_ucred->cr_ruid;
+               knote_hint = NOTE_EXIT | (child->p_xstat & 0xffff);
+               proc_unlock(child);
+
+               if ((trace_parent = proc_find(oppid))
+                   && !((trace_parent == initproc) && reparentedtoinit)) {
+                       if (trace_parent != initproc) {
+                               /*
+                                * proc internal fileds  and p_ucred usage safe
+                                * here as child is dead and is not reaped or
+                                * reparented yet
+                                */
+                               proc_lock(trace_parent);
+                               trace_parent->si_pid = child->p_pid;
+                               trace_parent->si_status = child->p_xstat;
+                               trace_parent->si_code = CLD_CONTINUED;
+                               trace_parent->si_uid = kauth_cred_getruid(child->p_ucred);
+                               proc_unlock(trace_parent);
+                       }
+                       proc_reparentlocked(child, trace_parent, 1, 0);
+
+                       /* resend knote to original parent (and others) after reparenting */
+                       proc_knote(child, knote_hint);
+
+                       psignal(trace_parent, SIGCHLD);
+                       proc_list_lock();
+                       wakeup((caddr_t)trace_parent);
+                       child->p_listflag &= ~P_LIST_WAITING;
+                       wakeup(&child->p_stat);
+                       proc_list_unlock();
+                       proc_rele(trace_parent);
+                       if ((locked == 1) && (droplock == 0)) {
+                               proc_list_lock();
+                       }
+                       return 0;
+               }
+
+               /*
+                * If we can't reparent (e.g. the original parent exited while child was being debugged, or
+                * original parent is the same as the debugger currently exiting), we still need to satisfy
+                * the knote lifecycle for other observers on the system. While the debugger was attached,
+                * the NOTE_EXIT would not have been broadcast during initial child termination.
+                */
+               proc_knote(child, knote_hint);
+
+               if (trace_parent != PROC_NULL) {
+                       proc_rele(trace_parent);
                }
-               psignal(trace_parent, SIGCHLD);
-               wakeup((caddr_t)trace_parent);
-               return (0);
        }
+
+#pragma clang diagnostic push
+#pragma clang diagnostic ignored "-Wdeprecated-declarations"
+       proc_knote(child, NOTE_REAP);
+#pragma clang diagnostic pop
+
+       proc_knote_drain(child);
+
        child->p_xstat = 0;
        if (child->p_ru) {
-               ruadd(&parent->p_stats->p_cru, child->p_ru);
-               FREE_ZONE(child->p_ru, sizeof *child->p_ru, M_ZOMBIE);
+               proc_lock(parent);
+#if 3839178
+               /*
+                * If the parent is ignoring SIGCHLD, then POSIX requires
+                * us to not add the resource usage to the parent process -
+                * we are only going to hand it off to init to get reaped.
+                * We should contest the standard in this case on the basis
+                * of RLIMIT_CPU.
+                */
+               if (!(parent->p_flag & P_NOCLDWAIT))
+#endif  /* 3839178 */
+               ruadd(&parent->p_stats->p_cru, &child->p_ru->ru);
+               update_rusage_info_child(&parent->p_stats->ri_child, &child->p_ru->ri);
+               proc_unlock(parent);
+               zfree(zombie_zone, child->p_ru);
                child->p_ru = NULL;
        } else {
                printf("Warning : lost p_ru for %s\n", child->p_comm);
        }
 
+       AUDIT_SESSION_PROCEXIT(child);
+
        /*
         * Decrement the count of procs running with this uid.
+        * p_ucred usage is safe here as it is an exited process.
+        * and refernce is dropped after these calls down below
+        * (locking protection is provided by list lock held in chgproccnt)
         */
-       (void)chgproccnt(child->p_ucred->cr_ruid, -1);
-
+#if CONFIG_PERSONAS
        /*
-        * Free up credentials.
+        * persona_proc_drop calls chgproccnt(-1) on the persona uid,
+        * and (+1) on the child->p_ucred uid
         */
-       if (child->p_ucred != NOCRED) {
-               kauth_cred_t ucr = child->p_ucred;
-                       child->p_ucred = NOCRED;
-                       kauth_cred_rele(ucr);
-               }
+       persona_proc_drop(child);
+#endif
+       (void)chgproccnt(kauth_cred_getruid(child->p_ucred), -1);
+
+       os_reason_free(child->p_exit_reason);
 
-       /*
-        * Release reference to text vnode
-        */
-       tvp = child->p_textvp;
-       child->p_textvp = NULL;
-       if (tvp) {
-               vnode_rele(tvp);
-       }
        /*
         * Finally finished with old proc entry.
         * Unlink it from its process group and free it.
         */
-       leavepgrp(child);
-       LIST_REMOVE(child, p_list);     /* off zombproc */
-       LIST_REMOVE(child, p_sibling);
-       child->p_lflag &= ~P_LWAITING;
-       wakeup(&child->p_stat);
+       leavepgrp(child);
+
+       proc_list_lock();
+       LIST_REMOVE(child, p_list);     /* off zombproc */
+       parent->p_childrencnt--;
+       LIST_REMOVE(child, p_sibling);
+       /* If there are no more children wakeup parent */
+       if ((deadparent != 0) && (LIST_EMPTY(&parent->p_children))) {
+               wakeup((caddr_t)parent);        /* with list lock held */
+       }
+       child->p_listflag &= ~P_LIST_WAITING;
+       wakeup(&child->p_stat);
+
+       /* Take it out of process hash */
+       LIST_REMOVE(child, p_hash);
+       child->p_listflag &= ~P_LIST_INHASH;
+       proc_checkdeadrefs(child);
+       nprocs--;
+
+       if (deadparent) {
+               /*
+                * If a child zombie is being reaped because its parent
+                * is exiting, make sure we update the list flag
+                */
+               child->p_listflag |= P_LIST_DEADPARENT;
+       }
+
+       proc_list_unlock();
+
+       /*
+        * Free up credentials.
+        */
+       if (IS_VALID_CRED(child->p_ucred)) {
+               kauth_cred_t tmp_ucred = child->p_ucred;
+               kauth_cred_unref(&tmp_ucred);
+               child->p_ucred = NOCRED;
+       }
 
-       lck_mtx_destroy(&child->p_mlock, proc_lck_grp);
-       lck_mtx_destroy(&child->p_fdmlock, proc_lck_grp);
-       FREE_ZONE(child, sizeof *child, M_PROC);
-       nprocs--;
-       return (1);
+       lck_mtx_destroy(&child->p_mlock, proc_mlock_grp);
+       lck_mtx_destroy(&child->p_ucred_mlock, proc_ucred_mlock_grp);
+       lck_mtx_destroy(&child->p_fdmlock, proc_fdmlock_grp);
+#if CONFIG_DTRACE
+       lck_mtx_destroy(&child->p_dtrace_sprlock, proc_lck_grp);
+#endif
+       lck_spin_destroy(&child->p_slock, proc_slock_grp);
+
+       zfree(proc_zone, child);
+       if ((locked == 1) && (droplock == 0)) {
+               proc_list_lock();
+       }
+
+       return 1;
 }
 
 
 int
 wait1continue(int result)
 {
-       void *vt;
+       proc_t p;
        thread_t thread;
+       uthread_t uth;
+       struct _wait4_data *wait4_data;
+       struct wait4_nocancel_args *uap;
        int *retval;
-       struct proc *p;
 
-       if (result)
-               return(result);
+       if (result) {
+               return result;
+       }
 
        p = current_proc();
        thread = current_thread();
-       vt = get_bsduthreadarg(thread);
-       retval = get_bsduthreadrval(thread);
-       return(wait4((struct proc *)p, (struct wait4_args *)vt, retval));
+       uth = (struct uthread *)get_bsdthread_info(thread);
+
+       wait4_data = &uth->uu_save.uus_wait4_data;
+       uap = wait4_data->args;
+       retval = wait4_data->retval;
+       return wait4_nocancel(p, uap, retval);
+}
+
+int
+wait4(proc_t q, struct wait4_args *uap, int32_t *retval)
+{
+       __pthread_testcancel(1);
+       return wait4_nocancel(q, (struct wait4_nocancel_args *)uap, retval);
 }
 
 int
-wait4(struct proc *q, struct wait4_args *uap, register_t *retval)
+wait4_nocancel(proc_t q, struct wait4_nocancel_args *uap, int32_t *retval)
 {
-       register int nfound;
-       register struct proc *p;
+       int nfound;
+       int sibling_count;
+       proc_t p;
        int status, error;
+       uthread_t uth;
+       struct _wait4_data *wait4_data;
+
+       AUDIT_ARG(pid, uap->pid);
 
-       if (uap->pid == 0)
-               uap->pid = -q->p_pgid;
+       if (uap->pid == 0) {
+               uap->pid = -q->p_pgrpid;
+       }
 
 loop:
+       proc_list_lock();
+loop1:
        nfound = 0;
-       for (p = q->p_children.lh_first; p != 0; p = p->p_sibling.le_next) {
+       sibling_count = 0;
+
+       PCHILDREN_FOREACH(q, p) {
+               if (p->p_sibling.le_next != 0) {
+                       sibling_count++;
+               }
                if (uap->pid != WAIT_ANY &&
                    p->p_pid != uap->pid &&
-                   p->p_pgid != -(uap->pid))
+                   p->p_pgrpid != -(uap->pid)) {
                        continue;
+               }
+
                nfound++;
 
                /* XXX This is racy because we don't get the lock!!!! */
 
-               if (p->p_lflag & P_LWAITING) {
-                       (void)tsleep(&p->p_stat, PWAIT, "waitcoll", 0);
-                       goto loop;
+               if (p->p_listflag & P_LIST_WAITING) {
+                       /* we're not using a continuation here but we still need to stash
+                        * the args for stackshot. */
+                       uth = current_uthread();
+                       wait4_data = &uth->uu_save.uus_wait4_data;
+                       wait4_data->args = uap;
+                       thread_set_pending_block_hint(current_thread(), kThreadWaitOnProcess);
+
+                       (void)msleep(&p->p_stat, proc_list_mlock, PWAIT, "waitcoll", 0);
+                       goto loop1;
                }
-               p->p_lflag |= P_LWAITING;   /* only allow single thread to wait() */
+               p->p_listflag |= P_LIST_WAITING;   /* only allow single thread to wait() */
+
 
                if (p->p_stat == SZOMB) {
+                       int reparentedtoinit = (p->p_listflag & P_LIST_DEADPARENT) ? 1 : 0;
+
+                       proc_list_unlock();
+#if CONFIG_MACF
+                       if ((error = mac_proc_check_wait(q, p)) != 0) {
+                               goto out;
+                       }
+#endif
                        retval[0] = p->p_pid;
                        if (uap->status) {
-                               status = p->p_xstat;    /* convert to int */
+                               /* Legacy apps expect only 8 bits of status */
+                               status = 0xffff & p->p_xstat;   /* convert to int */
                                error = copyout((caddr_t)&status,
-                                                       uap->status,
-                                                   sizeof(status));
+                                   uap->status,
+                                   sizeof(status));
                                if (error) {
-                                       p->p_lflag &= ~P_LWAITING;
-                                       wakeup(&p->p_stat);
-                                       return (error);
+                                       goto out;
                                }
                        }
                        if (uap->rusage) {
@@ -659,83 +1966,162 @@ loop:
                                        error = ENOMEM;
                                } else {
                                        if (IS_64BIT_PROCESS(q)) {
-                                               struct user_rusage      my_rusage;
-                                               munge_rusage(p->p_ru, &my_rusage);
+                                               struct user64_rusage    my_rusage = {};
+                                               munge_user64_rusage(&p->p_ru->ru, &my_rusage);
                                                error = copyout((caddr_t)&my_rusage,
-                                                       uap->rusage,
-                                                       sizeof (my_rusage));
-                                       }
-                                       else {
-                                               error = copyout((caddr_t)p->p_ru,
-                                                       uap->rusage,
-                                                       sizeof (struct rusage));
+                                                   uap->rusage,
+                                                   sizeof(my_rusage));
+                                       } else {
+                                               struct user32_rusage    my_rusage = {};
+                                               munge_user32_rusage(&p->p_ru->ru, &my_rusage);
+                                               error = copyout((caddr_t)&my_rusage,
+                                                   uap->rusage,
+                                                   sizeof(my_rusage));
                                        }
                                }
                                /* information unavailable? */
                                if (error) {
-                                       p->p_lflag &= ~P_LWAITING;
-                                       wakeup(&p->p_stat);
-                                       return (error);
+                                       goto out;
                                }
                        }
 
-                       /* Clean up */
-                       if (!reap_child_process(q, p)) {
-                               p->p_lflag &= ~P_LWAITING;
-                               wakeup(&p->p_stat);
+                       /* Conformance change for 6577252.
+                        * When SIGCHLD is blocked and wait() returns because the status
+                        * of a child process is available and there are no other
+                        * children processes, then any pending SIGCHLD signal is cleared.
+                        */
+                       if (sibling_count == 0) {
+                               int mask = sigmask(SIGCHLD);
+                               uth = current_uthread();
+
+                               if ((uth->uu_sigmask & mask) != 0) {
+                                       /* we are blocking SIGCHLD signals.  clear any pending SIGCHLD.
+                                        * This locking looks funny but it is protecting access to the
+                                        * thread via p_uthlist.
+                                        */
+                                       proc_lock(q);
+                                       uth->uu_siglist &= ~mask;       /* clear pending signal */
+                                       proc_unlock(q);
+                               }
                        }
 
-                       return (0);
+                       /* Clean up */
+                       (void)reap_child_locked(q, p, 0, reparentedtoinit, 0, 0);
+
+                       return 0;
                }
-               if (p->p_stat == SSTOP && (p->p_flag & P_WAITED) == 0 &&
-                   (p->p_flag & P_TRACED || uap->options & WUNTRACED)) {
-                       p->p_flag |= P_WAITED;
+               if (p->p_stat == SSTOP && (p->p_lflag & P_LWAITED) == 0 &&
+                   (p->p_lflag & P_LTRACED || uap->options & WUNTRACED)) {
+                       proc_list_unlock();
+#if CONFIG_MACF
+                       if ((error = mac_proc_check_wait(q, p)) != 0) {
+                               goto out;
+                       }
+#endif
+                       proc_lock(p);
+                       p->p_lflag |= P_LWAITED;
+                       proc_unlock(p);
                        retval[0] = p->p_pid;
                        if (uap->status) {
                                status = W_STOPCODE(p->p_xstat);
                                error = copyout((caddr_t)&status,
-                                       uap->status,
+                                   uap->status,
+                                   sizeof(status));
+                       } else {
+                               error = 0;
+                       }
+                       goto out;
+               }
+               /*
+                * If we are waiting for continued processses, and this
+                * process was continued
+                */
+               if ((uap->options & WCONTINUED) &&
+                   (p->p_flag & P_CONTINUED)) {
+                       proc_list_unlock();
+#if CONFIG_MACF
+                       if ((error = mac_proc_check_wait(q, p)) != 0) {
+                               goto out;
+                       }
+#endif
+
+                       /* Prevent other process for waiting for this event */
+                       OSBitAndAtomic(~((uint32_t)P_CONTINUED), &p->p_flag);
+                       retval[0] = p->p_pid;
+                       if (uap->status) {
+                               status = W_STOPCODE(SIGCONT);
+                               error = copyout((caddr_t)&status,
+                                   uap->status,
                                    sizeof(status));
-                       } else
+                       } else {
                                error = 0;
-                       p->p_lflag &= ~P_LWAITING;
-                       wakeup(&p->p_stat);
-                       return (error);
+                       }
+                       goto out;
                }
-               p->p_lflag &= ~P_LWAITING;
+               p->p_listflag &= ~P_LIST_WAITING;
                wakeup(&p->p_stat);
        }
-       if (nfound == 0)
-               return (ECHILD);
+       /* list lock is held when we get here any which way */
+       if (nfound == 0) {
+               proc_list_unlock();
+               return ECHILD;
+       }
 
        if (uap->options & WNOHANG) {
                retval[0] = 0;
-               return (0);
+               proc_list_unlock();
+               return 0;
        }
 
-       if ((error = tsleep0((caddr_t)q, PWAIT | PCATCH, "wait", 0, wait1continue)))
-               return (error);
+       /* Save arguments for continuation. Backing storage is in uthread->uu_arg, and will not be deallocated */
+       uth = current_uthread();
+       wait4_data = &uth->uu_save.uus_wait4_data;
+       wait4_data->args = uap;
+       wait4_data->retval = retval;
+
+       thread_set_pending_block_hint(current_thread(), kThreadWaitOnProcess);
+       if ((error = msleep0((caddr_t)q, proc_list_mlock, PWAIT | PCATCH | PDROP, "wait", 0, wait1continue))) {
+               return error;
+       }
 
        goto loop;
+out:
+       proc_list_lock();
+       p->p_listflag &= ~P_LIST_WAITING;
+       wakeup(&p->p_stat);
+       proc_list_unlock();
+       return error;
 }
 
+#if DEBUG
+#define ASSERT_LCK_MTX_OWNED(lock)      \
+                               lck_mtx_assert(lock, LCK_MTX_ASSERT_OWNED)
+#else
+#define ASSERT_LCK_MTX_OWNED(lock)      /* nothing */
+#endif
 
 int
 waitidcontinue(int result)
 {
-       void *vt;
+       proc_t p;
        thread_t thread;
+       uthread_t uth;
+       struct _waitid_data *waitid_data;
+       struct waitid_nocancel_args *uap;
        int *retval;
-       struct proc *p;
 
-       if (result)
-               return(result);
+       if (result) {
+               return result;
+       }
 
        p = current_proc();
        thread = current_thread();
-       vt = get_bsduthreadarg(thread);
-       retval = get_bsduthreadrval(thread);
-       return(waitid((struct proc *)p, (struct waitid_args *)vt, retval));
+       uth = (struct uthread *)get_bsdthread_info(thread);
+
+       waitid_data = &uth->uu_save.uus_waitid_data;
+       uap = waitid_data->args;
+       retval = waitid_data->retval;
+       return waitid_nocancel(p, uap, retval);
 }
 
 /*
@@ -744,7 +2130,7 @@ waitidcontinue(int result)
  *
  * Parameters: uap->idtype             one of P_PID, P_PGID, P_ALL
  *             uap->id                 pid_t or gid_t or ignored
- *             uap->infop              Address of signinfo_t struct in
+ *             uap->infop              Address of siginfo_t struct in
  *                                     user space into which to return status
  *             uap->options            flag values
  *
@@ -752,27 +2138,57 @@ waitidcontinue(int result)
  *             !0                      Error returning status to user space
  */
 int
-waitid(struct proc *q, struct waitid_args *uap, register_t *retval)
+waitid(proc_t q, struct waitid_args *uap, int32_t *retval)
 {
-       user_siginfo_t  collect64;      /* siginfo data to return to caller */
+       __pthread_testcancel(1);
+       return waitid_nocancel(q, (struct waitid_nocancel_args *)uap, retval);
+}
 
-       register int nfound;
-       register struct proc *p;
+int
+waitid_nocancel(proc_t q, struct waitid_nocancel_args *uap,
+    __unused int32_t *retval)
+{
+       user_siginfo_t  siginfo;        /* siginfo data to return to caller */
+       boolean_t caller64 = IS_64BIT_PROCESS(q);
+       int nfound;
+       proc_t p;
        int error;
+       uthread_t uth;
+       struct _waitid_data *waitid_data;
+
+       if (uap->options == 0 ||
+           (uap->options & ~(WNOHANG | WNOWAIT | WCONTINUED | WSTOPPED | WEXITED))) {
+               return EINVAL;        /* bits set that aren't recognized */
+       }
+       switch (uap->idtype) {
+       case P_PID:     /* child with process ID equal to... */
+       case P_PGID:    /* child with process group ID equal to... */
+               if (((int)uap->id) < 0) {
+                       return EINVAL;
+               }
+               break;
+       case P_ALL:     /* any child */
+               break;
+       }
 
 loop:
+       proc_list_lock();
+loop1:
        nfound = 0;
-       for (p = q->p_children.lh_first; p != 0; p = p->p_sibling.le_next) {
-               switch(uap->idtype) {
-               case P_PID:     /* child with process ID equal to... */
-                       if (p->p_pid != (pid_t)uap->id)
+
+       PCHILDREN_FOREACH(q, p) {
+               switch (uap->idtype) {
+               case P_PID:     /* child with process ID equal to... */
+                       if (p->p_pid != (pid_t)uap->id) {
                                continue;
+                       }
                        break;
-               case P_PGID:    /* child with process group ID equal to... */
-                       if (p->p_pgid != (pid_t)uap->id)
+               case P_PGID:    /* child with process group ID equal to... */
+                       if (p->p_pgrpid != (pid_t)uap->id) {
                                continue;
+                       }
                        break;
-               case P_ALL:     /* any child */
+               case P_ALL:     /* any child */
                        break;
                }
 
@@ -782,249 +2198,240 @@ loop:
                 * Wait collision; go to sleep and restart; used to maintain
                 * the single return for waited process guarantee.
                 */
-               if (p->p_lflag & P_LWAITING) {
-                       (void)tsleep(&p->p_stat, PWAIT, "waitidcoll", 0);
-                       goto loop;
+               if (p->p_listflag & P_LIST_WAITING) {
+                       (void) msleep(&p->p_stat, proc_list_mlock,
+                           PWAIT, "waitidcoll", 0);
+                       goto loop1;
                }
-               p->p_lflag |= P_LWAITING;               /* mark busy */
+               p->p_listflag |= P_LIST_WAITING;                /* mark busy */
 
                nfound++;
 
-               /*
-                * Types of processes we are interested in
-                *
-                * XXX Don't know what to do for WCONTINUED?!?
-                */
-               switch(p->p_stat) {
-               case SZOMB:             /* Exited */
-                       if (!(uap->options & WEXITED))
+               bzero(&siginfo, sizeof(siginfo));
+
+               switch (p->p_stat) {
+               case SZOMB:             /* Exited */
+                       if (!(uap->options & WEXITED)) {
                                break;
+                       }
+                       proc_list_unlock();
+#if CONFIG_MACF
+                       if ((error = mac_proc_check_wait(q, p)) != 0) {
+                               goto out;
+                       }
+#endif
+                       siginfo.si_signo = SIGCHLD;
+                       siginfo.si_pid = p->p_pid;
 
-                       /* Collect "siginfo" information for caller */
-                       collect64.si_signo = 0;
-                       collect64.si_code = 0;
-                       collect64.si_errno = 0;
-                       collect64.si_pid = 0;
-                       collect64.si_uid = 0;
-                       collect64.si_addr  = 0;
-                       collect64.si_status = p->p_xstat;
-                       collect64.si_band = 0;
-
-                       if (IS_64BIT_PROCESS(p)) {
-                               error = copyout((caddr_t)&collect64,
-                                       uap->infop,
-                                       sizeof(collect64));
+                       /* If the child terminated abnormally due to a signal, the signum
+                        * needs to be preserved in the exit status.
+                        */
+                       if (WIFSIGNALED(p->p_xstat)) {
+                               siginfo.si_code = WCOREDUMP(p->p_xstat) ?
+                                   CLD_DUMPED : CLD_KILLED;
+                               siginfo.si_status = WTERMSIG(p->p_xstat);
                        } else {
-                               siginfo_t collect;
-                               siginfo_64to32(&collect64,&collect);
-                               error = copyout((caddr_t)&collect,
-                                       uap->infop,
-                                       sizeof(collect));
+                               siginfo.si_code = CLD_EXITED;
+                               siginfo.si_status = WEXITSTATUS(p->p_xstat) & 0x00FFFFFF;
                        }
-                       /* information unavailable? */
-                       if (error) {
-                               p->p_lflag &= ~P_LWAITING;
-                               wakeup(&p->p_stat);
-                               return (error);
+                       siginfo.si_status |= (((uint32_t)(p->p_xhighbits) << 24) & 0xFF000000);
+                       p->p_xhighbits = 0;
+
+                       if ((error = copyoutsiginfo(&siginfo,
+                           caller64, uap->infop)) != 0) {
+                               goto out;
                        }
 
                        /* Prevent other process for waiting for this event? */
                        if (!(uap->options & WNOWAIT)) {
-                               /* Clean up */
-                               if (!reap_child_process(q, p)) {
-                                       p->p_lflag &= ~P_LWAITING;
-                                       wakeup(&p->p_stat);
-                               }
+                               (void) reap_child_locked(q, p, 0, 0, 0, 0);
+                               return 0;
                        }
+                       goto out;
 
-                       return (0);
-
-               case SSTOP:             /* Stopped */
+               case SSTOP:             /* Stopped */
                        /*
                         * If we are not interested in stopped processes, then
                         * ignore this one.
                         */
-                       if (!(uap->options & WSTOPPED))
+                       if (!(uap->options & WSTOPPED)) {
                                break;
+                       }
 
                        /*
                         * If someone has already waited it, we lost a race
                         * to be the one to return status.
                         */
-                       if ((p->p_flag & P_WAITED) != 0)
+                       if ((p->p_lflag & P_LWAITED) != 0) {
                                break;
-
-                       /*
-                        * If this is not a traced process, and they haven't
-                        * indicated an interest in untraced processes, then
-                        * ignore this one.
-                        */
-                       if (!(p->p_flag & P_TRACED) && !(uap->options & WUNTRACED))
-                               break;
-
-                       /* Collect "siginfo" information for caller */
-                       collect64.si_signo = 0;
-                       collect64.si_code = 0;
-                       collect64.si_errno = 0;
-                       collect64.si_pid = 0;
-                       collect64.si_uid = 0;
-                       collect64.si_addr  = 0;
-                       collect64.si_status = p->p_xstat;
-                       collect64.si_band = 0;
-
-                       if (IS_64BIT_PROCESS(p)) {
-                               error = copyout((caddr_t)&collect64,
-                                       uap->infop,
-                                       sizeof(collect64));
-                       } else {
-                               siginfo_t collect;
-                               siginfo_64to32(&collect64,&collect);
-                               error = copyout((caddr_t)&collect,
-                                       uap->infop,
-                                       sizeof(collect));
                        }
-                       /* information unavailable? */
-                       if (error) {
-                               p->p_lflag &= ~P_LWAITING;
-                               wakeup(&p->p_stat);
-                               return (error);
+                       proc_list_unlock();
+#if CONFIG_MACF
+                       if ((error = mac_proc_check_wait(q, p)) != 0) {
+                               goto out;
+                       }
+#endif
+                       siginfo.si_signo = SIGCHLD;
+                       siginfo.si_pid = p->p_pid;
+                       siginfo.si_status = p->p_xstat; /* signal number */
+                       siginfo.si_code = CLD_STOPPED;
+
+                       if ((error = copyoutsiginfo(&siginfo,
+                           caller64, uap->infop)) != 0) {
+                               goto out;
                        }
 
                        /* Prevent other process for waiting for this event? */
                        if (!(uap->options & WNOWAIT)) {
-                               p->p_flag |= P_WAITED;
+                               proc_lock(p);
+                               p->p_lflag |= P_LWAITED;
+                               proc_unlock(p);
                        }
+                       goto out;
 
-                       p->p_lflag &= ~P_LWAITING;
-                       wakeup(&p->p_stat);
-                       return (0);
-
-               default:                /* All others */
-                                       /* ...meaning Continued */
-                       if (!(uap->options & WCONTINUED))
+               default:                /* All other states => Continued */
+                       if (!(uap->options & WCONTINUED)) {
                                break;
+                       }
 
                        /*
                         * If the flag isn't set, then this process has not
                         * been stopped and continued, or the status has
                         * already been reaped by another caller of waitid().
                         */
-                       if ((p->p_flag & P_CONTINUED) == 0)
+                       if ((p->p_flag & P_CONTINUED) == 0) {
                                break;
-
-                       /* Collect "siginfo" information for caller */
-                       collect64.si_signo = 0;
-                       collect64.si_code = 0;
-                       collect64.si_errno = 0;
-                       collect64.si_pid = 0;
-                       collect64.si_uid = 0;
-                       collect64.si_addr  = 0;
-                       collect64.si_status = p->p_xstat;
-                       collect64.si_band = 0;
-
-                       if (IS_64BIT_PROCESS(p)) {
-                               error = copyout((caddr_t)&collect64,
-                                       uap->infop,
-                                       sizeof(collect64));
-                       } else {
-                               siginfo_t collect;
-                               siginfo_64to32(&collect64,&collect);
-                               error = copyout((caddr_t)&collect,
-                                       uap->infop,
-                                       sizeof(collect));
                        }
-                       /* information unavailable? */
-                       if (error) {
-                               p->p_lflag &= ~P_LWAITING;
-                               wakeup(&p->p_stat);
-                               return (error);
+                       proc_list_unlock();
+#if CONFIG_MACF
+                       if ((error = mac_proc_check_wait(q, p)) != 0) {
+                               goto out;
+                       }
+#endif
+                       siginfo.si_signo = SIGCHLD;
+                       siginfo.si_code = CLD_CONTINUED;
+                       proc_lock(p);
+                       siginfo.si_pid = p->p_contproc;
+                       siginfo.si_status = p->p_xstat;
+                       proc_unlock(p);
+
+                       if ((error = copyoutsiginfo(&siginfo,
+                           caller64, uap->infop)) != 0) {
+                               goto out;
                        }
 
                        /* Prevent other process for waiting for this event? */
                        if (!(uap->options & WNOWAIT)) {
-                               p->p_flag &= ~P_CONTINUED;
+                               OSBitAndAtomic(~((uint32_t)P_CONTINUED),
+                                   &p->p_flag);
                        }
-
-                       p->p_lflag &= ~P_LWAITING;
-                       wakeup(&p->p_stat);
-                       return (0);
-
-                       break;
+                       goto out;
                }
-
+               ASSERT_LCK_MTX_OWNED(proc_list_mlock);
 
                /* Not a process we are interested in; go on to next child */
-               p->p_lflag &= ~P_LWAITING;
+
+               p->p_listflag &= ~P_LIST_WAITING;
                wakeup(&p->p_stat);
        }
+       ASSERT_LCK_MTX_OWNED(proc_list_mlock);
 
        /* No child processes that could possibly satisfy the request? */
-       if (nfound == 0)
-               return (ECHILD);
+
+       if (nfound == 0) {
+               proc_list_unlock();
+               return ECHILD;
+       }
 
        if (uap->options & WNOHANG) {
-               retval[0] = 0;
-               return (0);
+               proc_list_unlock();
+#if CONFIG_MACF
+               if ((error = mac_proc_check_wait(q, p)) != 0) {
+                       return error;
+               }
+#endif
+               /*
+                * The state of the siginfo structure in this case
+                * is undefined.  Some implementations bzero it, some
+                * (like here) leave it untouched for efficiency.
+                *
+                * Thus the most portable check for "no matching pid with
+                * WNOHANG" is to store a zero into si_pid before
+                * invocation, then check for a non-zero value afterwards.
+                */
+               return 0;
        }
 
-       if ((error = tsleep0((caddr_t)q, PWAIT | PCATCH, "waitid", 0, waitidcontinue)))
-               return (error);
+       /* Save arguments for continuation. Backing storage is in uthread->uu_arg, and will not be deallocated */
+       uth = current_uthread();
+       waitid_data = &uth->uu_save.uus_waitid_data;
+       waitid_data->args = uap;
+       waitid_data->retval = retval;
+
+       if ((error = msleep0(q, proc_list_mlock,
+           PWAIT | PCATCH | PDROP, "waitid", 0, waitidcontinue)) != 0) {
+               return error;
+       }
 
        goto loop;
+out:
+       proc_list_lock();
+       p->p_listflag &= ~P_LIST_WAITING;
+       wakeup(&p->p_stat);
+       proc_list_unlock();
+       return error;
 }
 
 /*
  * make process 'parent' the new parent of process 'child'.
  */
 void
-proc_reparent(struct proc *child, struct proc *parent)
+proc_reparentlocked(proc_t child, proc_t parent, int signallable, int locked)
 {
+       proc_t oldparent = PROC_NULL;
 
-       if (child->p_pptr == parent)
+       if (child->p_pptr == parent) {
                return;
+       }
+
+       if (locked == 0) {
+               proc_list_lock();
+       }
+
+       oldparent = child->p_pptr;
+#if __PROC_INTERNAL_DEBUG
+       if (oldparent == PROC_NULL) {
+               panic("proc_reparent: process %p does not have a parent\n", child);
+       }
+#endif
 
        LIST_REMOVE(child, p_sibling);
+#if __PROC_INTERNAL_DEBUG
+       if (oldparent->p_childrencnt == 0) {
+               panic("process children count already 0\n");
+       }
+#endif
+       oldparent->p_childrencnt--;
+#if __PROC_INTERNAL_DEBUG
+       if (oldparent->p_childrencnt < 0) {
+               panic("process children count -ve\n");
+       }
+#endif
        LIST_INSERT_HEAD(&parent->p_children, child, p_sibling);
+       parent->p_childrencnt++;
        child->p_pptr = parent;
+       child->p_ppid = parent->p_pid;
 
-       if (initproc == parent && child->p_stat == SZOMB)
-               psignal(initproc, SIGCHLD);
-}
-
-/*
- *     Make the current process an "init" process, meaning
- *     that it doesn't have a parent, and that it won't be
- *     gunned down by kill(-1, 0).
- */
-kern_return_t
-init_process(__unused struct init_process_args *args)
-{
-       register struct proc *p = current_proc();
+       proc_list_unlock();
 
-       AUDIT_MACH_SYSCALL_ENTER(AUE_INITPROCESS);
-       if (suser(kauth_cred_get(), &p->p_acflag)) {
-               AUDIT_MACH_SYSCALL_EXIT(KERN_NO_ACCESS);
-               return(KERN_NO_ACCESS);
+       if ((signallable != 0) && (initproc == parent) && (child->p_stat == SZOMB)) {
+               psignal(initproc, SIGCHLD);
+       }
+       if (locked == 1) {
+               proc_list_lock();
        }
-
-       if (p->p_pid != 1 && p->p_pgid != p->p_pid)
-               enterpgrp(p, p->p_pid, 0);
-       p->p_flag |= P_SYSTEM;
-
-       /*
-        *      Take us out of the sibling chain, and
-        *      out of our parent's child chain.
-        */
-       LIST_REMOVE(p, p_sibling);
-       p->p_sibling.le_prev = NULL;
-       p->p_sibling.le_next = NULL;
-       p->p_pptr = kernproc;
-
-       AUDIT_MACH_SYSCALL_EXIT(KERN_SUCCESS);
-       return(KERN_SUCCESS);
 }
 
-
 /*
  * Exit: deallocate address space and other resources, change proc state
  * to zombie, and unlink proc from allproc and parent's lists.  Save exit
@@ -1032,15 +2439,19 @@ init_process(__unused struct init_process_args *args)
  */
 
 void
-vfork_exit(struct proc *p, int rv)
+vfork_exit(proc_t p, int rv)
+{
+       vfork_exit_internal(p, rv, 0);
+}
+
+void
+vfork_exit_internal(proc_t p, int rv, int forceexit)
 {
        thread_t self = current_thread();
 #ifdef FIXME
        struct task *task = p->task;
 #endif
-       register int s;
        struct uthread *ut;
-       exception_data_t        code[EXCEPTION_CODE_MAX];
 
        /*
         * If a thread in this task has already
@@ -1048,40 +2459,32 @@ vfork_exit(struct proc *p, int rv)
         * right here.
         */
 
-        ut = get_bsdthread_info(self);
-#ifdef FIXME
-        signal_lock(p);
-       while (p->exit_thread != self) {
-               if (sig_try_locked(p) <= 0) {
-                       if (get_threadtask(self) != task) {
-                                signal_unlock(p);
-                               return;
-                        }
-                       signal_unlock(p);
-                       thread_terminate(self);
-                       thread_funnel_set(kernel_flock, FALSE);
-                       thread_exception_return();
-                       /* NOTREACHED */
-               }
-               sig_lock_to_exit(p);
-       }
-        signal_unlock(p);
-       if (p->p_pid == 1) {
-               printf("pid 1 exited (signal %d, exit %d)",
-                   WTERMSIG(rv), WEXITSTATUS(rv));
-panic("init died\nState at Last Exception:\n\n%s", init_task_failure_data);
-       }
-#endif /* FIXME */
+       ut = get_bsdthread_info(self);
 
-       s = splsched();
-       p->p_flag |= P_WEXIT;
-       p->p_lflag |= P_LPEXIT;
-       splx(s);
 
-       code[0] = (exception_data_t)0xFF000001;         /* Set terminate code */
-       code[1] = (exception_data_t)p->p_pid;           /* Pass out the pid */
-       /* Notify the perf server */
-       (void)sys_perf_notify(p->task, (exception_data_t)&code, 2);
+       proc_lock(p);
+       if ((p->p_lflag & P_LPEXIT) == P_LPEXIT) {
+               /*
+                * This happens when a parent exits/killed and vfork is in progress
+                * other threads. But shutdown code for ex has already called exit1()
+                */
+               proc_unlock(p);
+               return;
+       }
+       p->p_lflag |= (P_LEXIT | P_LPEXIT);
+       proc_unlock(p);
+
+       if (forceexit == 0) {
+               /*
+                * parent of a vfork child has already called exit() and the
+                * thread that has vfork in proress terminates. So there is no
+                * separate address space here and it has already been marked for
+                * termination. This was never covered before and could cause problems
+                * if we block here for outside code.
+                */
+               /* Notify the perf server */
+               (void)sys_perf_notify(self, p->p_pid);
+       }
 
        /*
         * Remove proc from allproc queue and from pidhash chain.
@@ -1089,36 +2492,42 @@ panic("init died\nState at Last Exception:\n\n%s", init_task_failure_data);
         * Not doing causes things like mount() find this on allproc
         * in partially cleaned state.
         */
+
+       proc_list_lock();
+
+#if CONFIG_MEMORYSTATUS
+       proc_memorystatus_remove(p);
+#endif
+
        LIST_REMOVE(p, p_list);
-       LIST_INSERT_HEAD(&zombproc, p, p_list); /* Place onto zombproc. */
-       LIST_REMOVE(p, p_hash);
-       /*
-        * If parent is waiting for us to exit or exec,
-        * P_PPWAIT is set; we will wakeup the parent below.
-        */
-       p->p_flag &= ~(P_TRACED | P_PPWAIT);
+       LIST_INSERT_HEAD(&zombproc, p, p_list); /* Place onto zombproc. */
+       /* will not be visible via proc_find */
+       p->p_listflag |= P_LIST_EXITED;
+
+       proc_list_unlock();
+
+       proc_lock(p);
+       p->p_xstat = rv;
+       p->p_lflag &= ~(P_LTRACED | P_LPPWAIT);
        p->p_sigignore = ~0;
-       p->p_siglist = 0;
+       proc_unlock(p);
 
        ut->uu_siglist = 0;
-       untimeout(realitexpire, (caddr_t)p->p_pid);
 
-       p->p_xstat = rv;
+       /* begin vproc_exit */
 
-       vproc_exit(p);
-}
+       proc_t q;
+       proc_t pp;
 
-void 
-vproc_exit(struct proc *p)
-{
-       register struct proc *q, *nq, *pp;
-#ifdef FIXME
-       struct task *task = p->task;
-#endif
+       vnode_t tvp;
 
-       /* XXX Zombie allocation may fail, in which case stats get lost */
-       MALLOC_ZONE(p->p_ru, struct rusage *,
-                       sizeof (*p->p_ru), M_ZOMBIE, M_WAITOK);
+       struct pgrp * pg;
+       struct session *sessp;
+       struct rusage_superset *rup;
+
+       rup = zalloc(zombie_zone);
+
+       proc_refdrain(p);
 
        /*
         * Close open files and release open-file table.
@@ -1126,124 +2535,163 @@ vproc_exit(struct proc *p)
         */
        fdfree(p);
 
-       if (SESS_LEADER(p)) {
-               register struct session *sp = p->p_session;
+       sessp = proc_session(p);
+       if (SESS_LEADER(p, sessp)) {
+               panic("vfork child is session leader");
+       }
+       session_rele(sessp);
 
-               if (sp->s_ttyvp) {
-                       struct vnode *ttyvp;
-                       struct vfs_context context;
+       pg = proc_pgrp(p);
+       fixjobc(p, pg, 0);
+       pg_rele(pg);
 
-                       /*
-                        * Controlling process.
-                        * Signal foreground pgrp,
-                        * drain controlling terminal
-                        * and revoke access to controlling terminal.
-                        */
-                       if (sp->s_ttyp->t_session == sp) {
-                               if (sp->s_ttyp->t_pgrp)
-                                       pgsignal(sp->s_ttyp->t_pgrp, SIGHUP, 1);
-                               (void) ttywait(sp->s_ttyp);
-                               /*
-                                * The tty could have been revoked
-                                * if we blocked.
-                                */
-                               context.vc_proc = p;
-                               context.vc_ucred = p->p_ucred;
-                               if (sp->s_ttyvp)
-                                       VNOP_REVOKE(sp->s_ttyvp, REVOKEALL, &context);
+       /*
+        * Change RLIMIT_FSIZE for accounting/debugging. proc_limitsetcur_internal() will COW the current plimit
+        * before making changes if the current plimit is shared. The COW'ed plimit will be freed
+        * below by calling proc_limitdrop().
+        */
+       proc_limitsetcur_internal(p, RLIMIT_FSIZE, RLIM_INFINITY);
+
+       proc_list_lock();
+
+       proc_childdrainstart(p);
+       while ((q = p->p_children.lh_first) != NULL) {
+               if (q->p_stat == SZOMB) {
+                       if (p != q->p_pptr) {
+                               panic("parent child linkage broken");
                        }
-                       ttyvp = sp->s_ttyvp;
-                       sp->s_ttyvp = NULL;
-                       if (ttyvp) {
-                               vnode_rele(ttyvp);
+                       /* check for lookups by zomb sysctl */
+                       while ((q->p_listflag & P_LIST_WAITING) == P_LIST_WAITING) {
+                               msleep(&q->p_stat, proc_list_mlock, PWAIT, "waitcoll", 0);
                        }
+                       q->p_listflag |= P_LIST_WAITING;
+                       /*
+                        * This is a named reference and it is not granted
+                        * if the reap is already in progress. So we get
+                        * the reference here exclusively and their can be
+                        * no waiters. So there is no need for a wakeup
+                        * after we are done. AlsO  the reap frees the structure
+                        * and the proc struct cannot be used for wakeups as well.
+                        * It is safe to use q here as this is system reap
+                        */
+                       (void)reap_child_locked(p, q, 1, 0, 1, 0);
+               } else {
                        /*
-                        * s_ttyp is not zero'd; we use this to indicate
-                        * that the session once had a controlling terminal.
-                        * (for logging and informational purposes)
+                        * Traced processes are killed
+                        * since their existence means someone is messing up.
                         */
+                       if (q->p_lflag & P_LTRACED) {
+                               struct proc *opp;
+
+                               proc_list_unlock();
+
+                               opp = proc_find(q->p_oppid);
+                               if (opp != PROC_NULL) {
+                                       proc_list_lock();
+                                       q->p_oppid = 0;
+                                       proc_list_unlock();
+                                       proc_reparentlocked(q, opp, 0, 0);
+                                       proc_rele(opp);
+                               } else {
+                                       /* original parent exited while traced */
+                                       proc_list_lock();
+                                       q->p_listflag |= P_LIST_DEADPARENT;
+                                       q->p_oppid = 0;
+                                       proc_list_unlock();
+                                       proc_reparentlocked(q, initproc, 0, 0);
+                               }
+
+                               proc_lock(q);
+                               q->p_lflag &= ~P_LTRACED;
+
+                               if (q->sigwait_thread) {
+                                       thread_t thread = q->sigwait_thread;
+
+                                       proc_unlock(q);
+                                       /*
+                                        * The sigwait_thread could be stopped at a
+                                        * breakpoint. Wake it up to kill.
+                                        * Need to do this as it could be a thread which is not
+                                        * the first thread in the task. So any attempts to kill
+                                        * the process would result into a deadlock on q->sigwait.
+                                        */
+                                       thread_resume(thread);
+                                       clear_wait(thread, THREAD_INTERRUPTED);
+                                       threadsignal(thread, SIGKILL, 0, TRUE);
+                               } else {
+                                       proc_unlock(q);
+                               }
+
+                               psignal(q, SIGKILL);
+                               proc_list_lock();
+                       } else {
+                               q->p_listflag |= P_LIST_DEADPARENT;
+                               proc_reparentlocked(q, initproc, 0, 1);
+                       }
                }
-               sp->s_leader = NULL;
        }
 
-       fixjobc(p, p->p_pgrp, 0);
-       p->p_rlimit[RLIMIT_FSIZE].rlim_cur = RLIM_INFINITY;
+       proc_childdrainend(p);
+       proc_list_unlock();
 
-#if KTRACE
-       /* 
-        * release trace file
+       /*
+        * Release reference to text vnode
         */
-       p->p_traceflag = 0;     /* don't trace the vnode_rele() */
-       if (p->p_tracep) {
-               struct vnode *tvp = p->p_tracep;
-               p->p_tracep = NULL;
+       tvp = p->p_textvp;
+       p->p_textvp = NULL;
+       if (tvp != NULLVP) {
                vnode_rele(tvp);
        }
-#endif
-
-       while (q = p->p_children.lh_first) {
-               proc_reparent(q, initproc);
-               /*
-                * Traced processes are killed
-                * since their existence means someone is messing up.
-                */
-               if (q->p_flag & P_TRACED) {
-                       q->p_flag &= ~P_TRACED;
-                       if (q->sigwait_thread) {
-                               /*
-                                * The sigwait_thread could be stopped at a
-                                * breakpoint. Wake it up to kill.
-                                * Need to do this as it could be a thread which is not
-                                * the first thread in the task. So any attempts to kill
-                                * the process would result into a deadlock on q->sigwait.
-                                */
-                               thread_resume((thread_t)q->sigwait_thread);
-                               clear_wait(q->sigwait_thread, THREAD_INTERRUPTED);
-                               threadsignal((thread_t)q->sigwait_thread, SIGKILL, 0);
-                       }
-                       psignal(q, SIGKILL);
-               }
-       }
 
        /*
         * Save exit status and final rusage info, adding in child rusage
         * info and self times.  If we were unable to allocate a zombie
         * structure, this information is lost.
         */
-       if (p->p_ru != NULL) {
-           *p->p_ru = p->p_stats->p_ru;
-           timerclear(&p->p_ru->ru_utime);
-           timerclear(&p->p_ru->ru_stime);
+       if (rup != NULL) {
+               rup->ru = p->p_stats->p_ru;
+               timerclear(&rup->ru.ru_utime);
+               timerclear(&rup->ru.ru_stime);
 
 #ifdef  FIXME
-           if (task) {
-               task_basic_info_data_t tinfo;
-               task_thread_times_info_data_t ttimesinfo;
-               int task_info_stuff, task_ttimes_stuff;
-               struct timeval ut,st;
-
-               task_info_stuff = TASK_BASIC_INFO_COUNT;
-               task_info(task, TASK_BASIC_INFO,
-                         &tinfo, &task_info_stuff);
-               p->p_ru->ru_utime.tv_sec = tinfo.user_time.seconds;
-               p->p_ru->ru_utime.tv_usec = tinfo.user_time.microseconds;
-               p->p_ru->ru_stime.tv_sec = tinfo.system_time.seconds;
-               p->p_ru->ru_stime.tv_usec = tinfo.system_time.microseconds;
-
-               task_ttimes_stuff = TASK_THREAD_TIMES_INFO_COUNT;
-               task_info(task, TASK_THREAD_TIMES_INFO,
-                         &ttimesinfo, &task_ttimes_stuff);
-
-               ut.tv_sec = ttimesinfo.user_time.seconds;
-               ut.tv_usec = ttimesinfo.user_time.microseconds;
-               st.tv_sec = ttimesinfo.system_time.seconds;
-               st.tv_usec = ttimesinfo.system_time.microseconds;
-               timeradd(&ut,&p->p_ru->ru_utime,&p->p_ru->ru_utime);
-                       timeradd(&st,&p->p_ru->ru_stime,&p->p_ru->ru_stime);
-           }
+               if (task) {
+                       mach_task_basic_info_data_t tinfo;
+                       task_thread_times_info_data_t ttimesinfo;
+                       int task_info_stuff, task_ttimes_stuff;
+                       struct timeval ut, st;
+
+                       task_info_stuff = MACH_TASK_BASIC_INFO_COUNT;
+                       task_info(task, MACH_TASK_BASIC_INFO,
+                           &tinfo, &task_info_stuff);
+                       p->p_ru->ru.ru_utime.tv_sec = tinfo.user_time.seconds;
+                       p->p_ru->ru.ru_utime.tv_usec = tinfo.user_time.microseconds;
+                       p->p_ru->ru.ru_stime.tv_sec = tinfo.system_time.seconds;
+                       p->p_ru->ru.ru_stime.tv_usec = tinfo.system_time.microseconds;
+
+                       task_ttimes_stuff = TASK_THREAD_TIMES_INFO_COUNT;
+                       task_info(task, TASK_THREAD_TIMES_INFO,
+                           &ttimesinfo, &task_ttimes_stuff);
+
+                       ut.tv_sec = ttimesinfo.user_time.seconds;
+                       ut.tv_usec = ttimesinfo.user_time.microseconds;
+                       st.tv_sec = ttimesinfo.system_time.seconds;
+                       st.tv_usec = ttimesinfo.system_time.microseconds;
+                       timeradd(&ut, &p->p_ru->ru.ru_utime, &p->p_ru->ru.ru_utime);
+                       timeradd(&st, &p->p_ru->ru.ru_stime, &p->p_ru->ru.ru_stime);
+               }
 #endif /* FIXME */
 
-           ruadd(p->p_ru, &p->p_stats->p_cru);
+               ruadd(&rup->ru, &p->p_stats->p_cru);
+
+               gather_rusage_info(p, &rup->ri, RUSAGE_INFO_CURRENT);
+               rup->ri.ri_phys_footprint = 0;
+               rup->ri.ri_proc_exit_abstime = mach_absolute_time();
+
+               /*
+                * Now that we have filled in the rusage info, make it
+                * visible to an external observer via proc_pid_rusage().
+                */
+               p->p_ru = rup;
        }
 
        /*
@@ -1262,18 +2710,25 @@ vproc_exit(struct proc *p)
                }
        }
 
+#if PSYNCH
+       pth_proc_hashdelete(p);
+#endif /* PSYNCH */
+
+       proc_free_realitimer(p);
+
        /*
         * Other substructures are freed from wait().
         */
-       FREE_ZONE(p->p_stats, sizeof *p->p_stats, M_SUBPROC);
+       zfree(proc_stats_zone, p->p_stats);
        p->p_stats = NULL;
 
-       FREE_ZONE(p->p_sigacts, sizeof *p->p_sigacts, M_SUBPROC);
+       zfree(proc_sigacts_zone, p->p_sigacts);
        p->p_sigacts = NULL;
 
-       if (--p->p_limit->p_refcnt == 0)
-               FREE_ZONE(p->p_limit, sizeof *p->p_limit, M_SUBPROC);
-       p->p_limit = NULL;
+       FREE(p->p_subsystem_root_path, M_SBUF);
+       p->p_subsystem_root_path = NULL;
+
+       proc_limitdrop(p);
 
        /*
         * Finish up by terminating the task
@@ -1285,32 +2740,74 @@ vproc_exit(struct proc *p)
        /*
         * Notify parent that we're gone.
         */
-       pp = p->p_pptr;
-       if (pp != initproc) {
-               pp->si_pid = p->p_pid;
-               pp->si_status = p->p_xstat;
-               pp->si_code = CLD_EXITED;
-               pp->si_uid = p->p_ucred->cr_ruid;
-       }
-       /* mark as a zombie */
-       p->p_stat = SZOMB;
+       pp = proc_parent(p);
+       if ((p->p_listflag & P_LIST_DEADPARENT) == 0) {
+               if (pp != initproc) {
+                       proc_lock(pp);
+                       pp->si_pid = p->p_pid;
+                       pp->p_xhighbits = p->p_xhighbits;
+                       p->p_xhighbits = 0;
+                       pp->si_status = p->p_xstat;
+                       pp->si_code = CLD_EXITED;
+                       /*
+                        * p_ucred usage is safe as it is an exiting process
+                        * and reference is dropped in reap
+                        */
+                       pp->si_uid = kauth_cred_getruid(p->p_ucred);
+                       proc_unlock(pp);
+               }
+               /* mark as a zombie */
+               /* mark as a zombie */
+               /* No need to take proc lock as all refs are drained and
+                * no one except parent (reaping ) can look at this.
+                * The write is to an int and is coherent. Also parent is
+                *  keyed off of list lock for reaping
+                */
+               p->p_stat = SZOMB;
 
-       psignal(p->p_pptr, SIGCHLD);
+               psignal(pp, SIGCHLD);
 
-       /* and now wakeup the parent */
-       wakeup((caddr_t)p->p_pptr);
+               /* and now wakeup the parent */
+               proc_list_lock();
+               wakeup((caddr_t)pp);
+               proc_list_unlock();
+       } else {
+               proc_list_lock();
+               /* check for lookups by zomb sysctl */
+               while ((p->p_listflag & P_LIST_WAITING) == P_LIST_WAITING) {
+                       msleep(&p->p_stat, proc_list_mlock, PWAIT, "waitcoll", 0);
+               }
+               p->p_stat = SZOMB;
+               p->p_listflag |= P_LIST_WAITING;
+
+               /*
+                * This is a named reference and it is not granted
+                * if the reap is already in progress. So we get
+                * the reference here exclusively and their can be
+                * no waiters. So there is no need for a wakeup
+                * after we are done. AlsO  the reap frees the structure
+                * and the proc struct cannot be used for wakeups as well.
+                * It is safe to use p here as this is system reap
+                */
+               (void)reap_child_locked(pp, p, 0, 0, 1, 1);
+               /* list lock dropped by reap_child_locked */
+       }
+       proc_rele(pp);
 }
 
-                                               
+
 /*
  * munge_rusage
  *     LP64 support - long is 64 bits if we are dealing with a 64 bit user
- *     process.  We munge the kernel (32 bit) version of rusage into the
+ *     process.  We munge the kernel version of rusage into the
  *     64 bit version.
  */
-__private_extern__  void 
-munge_rusage(struct rusage *a_rusage_p, struct user_rusage *a_user_rusage_p)
+__private_extern__  void
+munge_user64_rusage(struct rusage *a_rusage_p, struct user64_rusage *a_user_rusage_p)
 {
+       /* Zero-out struct so that padding is cleared */
+       bzero(a_user_rusage_p, sizeof(struct user64_rusage));
+
        /* timeval changes size, so utime and stime need special handling */
        a_user_rusage_p->ru_utime.tv_sec = a_rusage_p->ru_utime.tv_sec;
        a_user_rusage_p->ru_utime.tv_usec = a_rusage_p->ru_utime.tv_usec;
@@ -1335,3 +2832,70 @@ munge_rusage(struct rusage *a_rusage_p, struct user_rusage *a_user_rusage_p)
        a_user_rusage_p->ru_nvcsw = a_rusage_p->ru_nvcsw;
        a_user_rusage_p->ru_nivcsw = a_rusage_p->ru_nivcsw;
 }
+
+/* For a 64-bit kernel and 32-bit userspace, munging may be needed */
+__private_extern__  void
+munge_user32_rusage(struct rusage *a_rusage_p, struct user32_rusage *a_user_rusage_p)
+{
+       bzero(a_user_rusage_p, sizeof(struct user32_rusage));
+
+       /* timeval changes size, so utime and stime need special handling */
+       a_user_rusage_p->ru_utime.tv_sec = (user32_time_t)a_rusage_p->ru_utime.tv_sec;
+       a_user_rusage_p->ru_utime.tv_usec = a_rusage_p->ru_utime.tv_usec;
+       a_user_rusage_p->ru_stime.tv_sec = (user32_time_t)a_rusage_p->ru_stime.tv_sec;
+       a_user_rusage_p->ru_stime.tv_usec = a_rusage_p->ru_stime.tv_usec;
+       /*
+        * everything else can be a direct assign. We currently ignore
+        * the loss of precision
+        */
+       a_user_rusage_p->ru_maxrss = (user32_long_t)a_rusage_p->ru_maxrss;
+       a_user_rusage_p->ru_ixrss = (user32_long_t)a_rusage_p->ru_ixrss;
+       a_user_rusage_p->ru_idrss = (user32_long_t)a_rusage_p->ru_idrss;
+       a_user_rusage_p->ru_isrss = (user32_long_t)a_rusage_p->ru_isrss;
+       a_user_rusage_p->ru_minflt = (user32_long_t)a_rusage_p->ru_minflt;
+       a_user_rusage_p->ru_majflt = (user32_long_t)a_rusage_p->ru_majflt;
+       a_user_rusage_p->ru_nswap = (user32_long_t)a_rusage_p->ru_nswap;
+       a_user_rusage_p->ru_inblock = (user32_long_t)a_rusage_p->ru_inblock;
+       a_user_rusage_p->ru_oublock = (user32_long_t)a_rusage_p->ru_oublock;
+       a_user_rusage_p->ru_msgsnd = (user32_long_t)a_rusage_p->ru_msgsnd;
+       a_user_rusage_p->ru_msgrcv = (user32_long_t)a_rusage_p->ru_msgrcv;
+       a_user_rusage_p->ru_nsignals = (user32_long_t)a_rusage_p->ru_nsignals;
+       a_user_rusage_p->ru_nvcsw = (user32_long_t)a_rusage_p->ru_nvcsw;
+       a_user_rusage_p->ru_nivcsw = (user32_long_t)a_rusage_p->ru_nivcsw;
+}
+
+void
+kdp_wait4_find_process(thread_t thread, __unused event64_t wait_event, thread_waitinfo_t *waitinfo)
+{
+       assert(thread != NULL);
+       assert(waitinfo != NULL);
+
+       struct uthread *ut = get_bsdthread_info(thread);
+       waitinfo->context = 0;
+       // ensure wmesg is consistent with a thread waiting in wait4
+       assert(!strcmp(ut->uu_wmesg, "waitcoll") || !strcmp(ut->uu_wmesg, "wait"));
+       struct wait4_nocancel_args *args = ut->uu_save.uus_wait4_data.args;
+       // May not actually contain a pid; this is just the argument to wait4.
+       // See man wait4 for other valid wait4 arguments.
+       waitinfo->owner = args->pid;
+}
+
+#if __has_feature(ptrauth_calls)
+int
+exit_with_pac_exception(proc_t p, exception_type_t exception, mach_exception_code_t code,
+    mach_exception_subcode_t subcode)
+{
+       thread_t self = current_thread();
+       struct uthread *ut = get_bsdthread_info(self);
+
+       os_reason_t exception_reason = os_reason_create(OS_REASON_PAC_EXCEPTION, (uint64_t)code);
+       assert(exception_reason != OS_REASON_NULL);
+       exception_reason->osr_flags |= OS_REASON_FLAG_GENERATE_CRASH_REPORT;
+       ut->uu_exception = exception;
+       ut->uu_code = code;
+       ut->uu_subcode = subcode;
+
+       return exit_with_reason(p, W_EXITCODE(0, SIGKILL), (int *)NULL, TRUE, FALSE,
+                  0, exception_reason);
+}
+#endif /* __has_feature(ptrauth_calls) */