best_id 335 drivers/video/fbdev/ps3fb.c unsigned int id, best_id; best_id 340 drivers/video/fbdev/ps3fb.c best_id = 0; best_id 355 drivers/video/fbdev/ps3fb.c best_id = id; best_id 362 drivers/video/fbdev/ps3fb.c if (!best_id) { best_id 367 drivers/video/fbdev/ps3fb.c id = best_id;