1710 	struct platform_device *port_pdev;  in dfl_fpga_cdev_release_port()  local
1714 	port_pdev = __dfl_fpga_cdev_find_port(cdev, &port_id,  in dfl_fpga_cdev_release_port()
1716 	if (!port_pdev)  in dfl_fpga_cdev_release_port()
1719 	if (!device_is_registered(&port_pdev->dev)) {  in dfl_fpga_cdev_release_port()
1724 	pdata = dev_get_platdata(&port_pdev->dev);  in dfl_fpga_cdev_release_port()
1732 	platform_device_del(port_pdev);  in dfl_fpga_cdev_release_port()
1735 	put_device(&port_pdev->dev);  in dfl_fpga_cdev_release_port()
1756 	struct platform_device *port_pdev;  in dfl_fpga_cdev_assign_port()  local
1760 	port_pdev = __dfl_fpga_cdev_find_port(cdev, &port_id,  in dfl_fpga_cdev_assign_port()
1762 	if (!port_pdev)  in dfl_fpga_cdev_assign_port()
1765 	if (device_is_registered(&port_pdev->dev)) {  in dfl_fpga_cdev_assign_port()
1770 	ret = platform_device_add(port_pdev);  in dfl_fpga_cdev_assign_port()
1774 	pdata = dev_get_platdata(&port_pdev->dev);  in dfl_fpga_cdev_assign_port()
1782 	put_device(&port_pdev->dev);  in dfl_fpga_cdev_assign_port()