diff options
| author | Heikki Krogerus <[email protected]> | 2018-11-09 17:21:33 +0300 |
|---|---|---|
| committer | Rafael J. Wysocki <[email protected]> | 2018-11-26 18:19:11 +0100 |
| commit | 2d51ac9086fd4852c1e43d615bd8dd99f2a616eb (patch) | |
| tree | 417654e37ae8f49f82bf3077f594ea4b5cb9ac68 | |
| parent | 2e6e902d185027f8e3cb8b7305238f7e35d6a436 (diff) | |
driver core: platform: Remove duplicated device_remove_properties() call
device_remove_properties() is called for every device in device_del().
Signed-off-by: Heikki Krogerus <[email protected]>
Acked-by: Linus Walleij <[email protected]>
Reviewed-by: Andy Shevchenko <[email protected]>
Signed-off-by: Rafael J. Wysocki <[email protected]>
| -rw-r--r-- | drivers/base/platform.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/drivers/base/platform.c b/drivers/base/platform.c index 41b91af95afb..0fb5f140f1b0 100644 --- a/drivers/base/platform.c +++ b/drivers/base/platform.c @@ -448,7 +448,6 @@ void platform_device_del(struct platform_device *pdev) int i; if (pdev) { - device_remove_properties(&pdev->dev); device_del(&pdev->dev); if (pdev->id_auto) { |