Symbol: WSDISPLAY_TYPE_DVBOX
sbin/wsconsctl/util.c
128
{ WSDISPLAY_TYPE_DVBOX, "hp-davinci" },
sys/arch/hp300/dev/dvbox.c
381
*(u_int *)data = WSDISPLAY_TYPE_DVBOX;