- /* transfer statistics from init thread to kernel */
- thread_t init_thread = current_thread();
- kernel_task->tkm_private.alloc = init_thread->tkm_private.alloc;
- kernel_task->tkm_private.free = init_thread->tkm_private.free;
- kernel_task->tkm_shared.alloc = init_thread->tkm_shared.alloc;
- kernel_task->tkm_shared.free = init_thread->tkm_shared.free;
-