cleanup_fb_device  705 drivers/video/fbdev/carminefb.c 	cleanup_fb_device(hw->fb[0]);
cleanup_fb_device  742 drivers/video/fbdev/carminefb.c 		cleanup_fb_device(hw->fb[i]);