num_of_hdmi_port  352 drivers/ps3/ps3av.c 	int i, num_of_hdmi_port, num_of_av_port, res;
num_of_hdmi_port  354 drivers/ps3/ps3av.c 	num_of_hdmi_port = ps3av->av_hw_conf.num_of_hdmi;
num_of_hdmi_port  359 drivers/ps3/ps3av.c 	for (i = 0; i < num_of_hdmi_port; i++) {
num_of_hdmi_port  372 drivers/ps3/ps3av.c 		if (i < num_of_hdmi_port) {