WSMOUSE_TYPE_PS2
{ WSMOUSE_TYPE_PS2, "ps2" },
*(u_int *)data = WSMOUSE_TYPE_PS2;
*(u_int *)data = WSMOUSE_TYPE_PS2;
*(u_int *)data = WSMOUSE_TYPE_PS2;
*(u_int *)data = WSMOUSE_TYPE_PS2;
*(u_int *)data = WSMOUSE_TYPE_PS2;
*(u_int *)data = WSMOUSE_TYPE_PS2;
*(u_int *)data = WSMOUSE_TYPE_PS2; /* XXX */