utmpx_mark_dead
void utmpx_mark_dead(pid_t, int, boolean_t);
utmpx_mark_dead(pid, 0, B_TRUE);
utmpx_mark_dead(wi->wi_pid, status, B_FALSE);