released_port_num 1101 drivers/fpga/dfl.c 	cdev->released_port_num++;
released_port_num 1142 drivers/fpga/dfl.c 	cdev->released_port_num--;
released_port_num 1216 drivers/fpga/dfl.c 	if (cdev->released_port_num != num_vfs) {
released_port_num  417 drivers/fpga/dfl.h 	int released_port_num;