pvr2_get_param_name 830 drivers/video/fbdev/pvr2fb.c pvr2_get_param_name(cables, cable_type, 3), pvr2_get_param_name 831 drivers/video/fbdev/pvr2fb.c pvr2_get_param_name(outputs, video_output, 3));