ps3fb_vmode       822 drivers/video/fbdev/ps3fb.c 			vmode = ps3fb_vmode(val);
ps3fb_vmode      1155 drivers/video/fbdev/ps3fb.c 			  ps3fb_vmode(par->new_mode_id), 32)) {