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);