Searched refs:ctldev (Results 1 – 1 of 1) sorted by relevance
535 const char * volatile ctldev = "/dev/wsmuxctl0"; in main() local544 ctldev = optarg; in main()818 moused(ctldev); in main()