Symbol: WSDISPLAY_TYPE_TX
sbin/wsconsctl/util.c
114
{ WSDISPLAY_TYPE_TX, "dec-tx" },
sys/dev/tc/tfb.c
397
*(u_int *)data = WSDISPLAY_TYPE_TX;