1558 	struct platform_device *port_pdev;  in dfl_fpga_cdev_release_port()  local
1562 	port_pdev = __dfl_fpga_cdev_find_port(cdev, &port_id,  in dfl_fpga_cdev_release_port()
1564 	if (!port_pdev)  in dfl_fpga_cdev_release_port()
1567 	if (!device_is_registered(&port_pdev->dev)) {  in dfl_fpga_cdev_release_port()
1572 	pdata = dev_get_platdata(&port_pdev->dev);  in dfl_fpga_cdev_release_port()
1580 	platform_device_del(port_pdev);  in dfl_fpga_cdev_release_port()
1583 	put_device(&port_pdev->dev);  in dfl_fpga_cdev_release_port()
1604 	struct platform_device *port_pdev;  in dfl_fpga_cdev_assign_port()  local
1608 	port_pdev = __dfl_fpga_cdev_find_port(cdev, &port_id,  in dfl_fpga_cdev_assign_port()
1610 	if (!port_pdev)  in dfl_fpga_cdev_assign_port()
1613 	if (device_is_registered(&port_pdev->dev)) {  in dfl_fpga_cdev_assign_port()
1618 	ret = platform_device_add(port_pdev);  in dfl_fpga_cdev_assign_port()
1622 	pdata = dev_get_platdata(&port_pdev->dev);  in dfl_fpga_cdev_assign_port()
1630 	put_device(&port_pdev->dev);  in dfl_fpga_cdev_assign_port()