vfb_device        503 drivers/video/fbdev/vfb.c static struct platform_device *vfb_device;
vfb_device        523 drivers/video/fbdev/vfb.c 		vfb_device = platform_device_alloc("vfb", 0);
vfb_device        525 drivers/video/fbdev/vfb.c 		if (vfb_device)
vfb_device        526 drivers/video/fbdev/vfb.c 			ret = platform_device_add(vfb_device);
vfb_device        531 drivers/video/fbdev/vfb.c 			platform_device_put(vfb_device);
vfb_device        544 drivers/video/fbdev/vfb.c 	platform_device_unregister(vfb_device);