in kern/kern_init.c [49:53]
kern_return_t pthread_start(__unused kmod_info_t * ki, __unused void *d) { pthread_kext_register((pthread_functions_t)&pthread_internal_functions, &pthread_kern); return KERN_SUCCESS; }