Symbol: utmpx_mark_dead
usr/src/cmd/svc/startd/startd.h
770
void utmpx_mark_dead(pid_t, int, boolean_t);
usr/src/cmd/svc/startd/utmpx.c
76
utmpx_mark_dead(pid, 0, B_TRUE);
usr/src/cmd/svc/startd/wait.c
124
utmpx_mark_dead(wi->wi_pid, status, B_FALSE);