Symbol: WSKBD_TYPE_SGI
sbin/wsconsctl/util.c
77
{ WSKBD_TYPE_SGI, "sgi" },
sys/arch/sgimips/dev/zs_kbd.c
535
*(int *)data = WSKBD_TYPE_SGI;