PCI_DEVICE_ID_HYPERV_VIDEO  685 drivers/video/fbdev/hyperv_fb.c 			      PCI_DEVICE_ID_HYPERV_VIDEO, NULL);
PCI_DEVICE_ID_HYPERV_VIDEO  885 drivers/video/fbdev/hyperv_fb.c 		.device      = PCI_DEVICE_ID_HYPERV_VIDEO,