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)) {