Symbol: CONTROLLER_NAME
sys/dev/hptmv/entry.c
1957
KdPrintI((CONTROLLER_NAME " found\n"));
sys/dev/hptmv/entry.c
1958
device_set_desc(dev, CONTROLLER_NAME);