driver core: platform: Remove duplicated device_remove_properties() call
authorHeikki Krogerus <heikki.krogerus@linux.intel.com>
Fri, 9 Nov 2018 14:21:33 +0000 (17:21 +0300)
committerRafael J. Wysocki <rafael.j.wysocki@intel.com>
Mon, 26 Nov 2018 17:19:11 +0000 (18:19 +0100)
commit2d51ac9086fd4852c1e43d615bd8dd99f2a616eb
tree417654e37ae8f49f82bf3077f594ea4b5cb9ac68
parent2e6e902d185027f8e3cb8b7305238f7e35d6a436
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 <heikki.krogerus@linux.intel.com>
Acked-by: Linus Walleij <linus.walleij@linaro.org>
Reviewed-by: Andy Shevchenko <andriy.shevchenko@linux.intel.com>
Signed-off-by: Rafael J. Wysocki <rafael.j.wysocki@intel.com>
drivers/base/platform.c