gbefb_device 1267 drivers/video/fbdev/gbefb.c static struct platform_device *gbefb_device; gbefb_device 1273 drivers/video/fbdev/gbefb.c gbefb_device = platform_device_alloc("gbefb", 0); gbefb_device 1274 drivers/video/fbdev/gbefb.c if (gbefb_device) { gbefb_device 1275 drivers/video/fbdev/gbefb.c ret = platform_device_add(gbefb_device); gbefb_device 1280 drivers/video/fbdev/gbefb.c platform_device_put(gbefb_device); gbefb_device 1289 drivers/video/fbdev/gbefb.c platform_device_unregister(gbefb_device);