get_ctty_devnr    195 src/core/killall.c                         if (get_ctty_devnr(pid, NULL) >= 0)
get_ctty_devnr   2746 src/shared/util.c         k = get_ctty_devnr(pid, &devnr);
get_ctty_devnr    443 src/shared/util.h int get_ctty_devnr(pid_t pid, dev_t *d);
get_ctty_devnr    371 src/tty-ask-password-agent/tty-ask-password-agent.c         r = get_ctty_devnr(0, &devnr);