Symbol: LOGTIME
sys/dev/wscons/wsmouse.c
1083
printf("[%s-in][%04d]", DEVNAME(input), LOGTIME(ts));
sys/dev/wscons/wsmouse.c
1113
printf("[%s-ev][%04d]", DEVNAME(input), LOGTIME(&evq->ts));