door_server_exit
door_server_exit(curproc, curthread);
static void door_server_exit(proc_t *, kthread_t *);