arcfb_device      610 drivers/video/fbdev/arcfb.c static struct platform_device *arcfb_device;
arcfb_device      621 drivers/video/fbdev/arcfb.c 		arcfb_device = platform_device_alloc("arcfb", 0);
arcfb_device      622 drivers/video/fbdev/arcfb.c 		if (arcfb_device) {
arcfb_device      623 drivers/video/fbdev/arcfb.c 			ret = platform_device_add(arcfb_device);
arcfb_device      628 drivers/video/fbdev/arcfb.c 			platform_device_put(arcfb_device);
arcfb_device      638 drivers/video/fbdev/arcfb.c 	platform_device_unregister(arcfb_device);