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