KBADDKBD
(void)kbdd_ioctl(mux, KBADDKBD, (caddr_t) &ki);
case KBADDKBD: /* add keyboard to the mux */
case KBADDKBD: /* add/remove keyboard to/from mux */
(void)kbdd_ioctl(k0, KBADDKBD, (caddr_t)&ki);
kbdd_ioctl(k0, KBADDKBD, (caddr_t) &ki);
case KBADDKBD: /* add keyboard to mux */
mux_keyboard((opt == 'A')? KBRELKBD : KBADDKBD, optarg);