Symbol: WSDISPLAY_TYPE_GBOX
sbin/wsconsctl/util.c
124
{ WSDISPLAY_TYPE_GBOX, "hp-gator" },
sys/arch/hp300/dev/gbox.c
349
*(u_int *)data = WSDISPLAY_TYPE_GBOX;