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;