Symbol: VFB_FIRMWARE_NAME
sys/dev/pci/veritefb.c
3230
error = firmware_open("veritefb", VFB_FIRMWARE_NAME, &fh);
sys/dev/pci/veritefb.c
3234
"running unaccelerated\n", VFB_FIRMWARE_NAME);