pathcmp
static int pathcmp(char *, char *);
if (pathcmp(dev, buf) == 0) {
if (pathcmp(dev, value) == 0) {
if ((pathcmp(dev, SYSMSG) == 0) ||
(pathcmp(dev, WSCONS) == 0) ||
(pathcmp(dev, CONSOLE) == 0)) {
static int pathcmp(char *, char *);
if (pathcmp(cttyname, DEFAULT_CONSOLE) != 0) {
if (pathcmp(ptr, DEFAULT_CONSOLE) != 0 &&
pathcmp(ptr, cttyname) != 0) {