err_framebuffer_release 1151 drivers/video/fbdev/ps3fb.c goto err_framebuffer_release; err_framebuffer_release 1187 drivers/video/fbdev/ps3fb.c err_framebuffer_release: err_framebuffer_release 1914 drivers/video/fbdev/riva/fbdev.c goto err_framebuffer_release; err_framebuffer_release 2072 drivers/video/fbdev/riva/fbdev.c err_framebuffer_release: