pvr2_get_param_val 1038 drivers/video/fbdev/pvr2fb.c 		cable_type = pvr2_get_param_val(cables, cable_arg, 3);
pvr2_get_param_val 1040 drivers/video/fbdev/pvr2fb.c 		video_output = pvr2_get_param_val(outputs, output_arg, 3);