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: