WSKBD_TYPE_PC_XT
{ WSKBD_TYPE_PC_XT, "pc-xt" },
*(int *)data = WSKBD_TYPE_PC_XT; /* XXX */
*(int *)data = WSKBD_TYPE_PC_XT;