vga16fb_device   1412 drivers/video/fbdev/vga16fb.c static struct platform_device *vga16fb_device;
vga16fb_device   1428 drivers/video/fbdev/vga16fb.c 		vga16fb_device = platform_device_alloc("vga16fb", 0);
vga16fb_device   1430 drivers/video/fbdev/vga16fb.c 		if (vga16fb_device)
vga16fb_device   1431 drivers/video/fbdev/vga16fb.c 			ret = platform_device_add(vga16fb_device);
vga16fb_device   1436 drivers/video/fbdev/vga16fb.c 			platform_device_put(vga16fb_device);
vga16fb_device   1446 drivers/video/fbdev/vga16fb.c 	platform_device_unregister(vga16fb_device);