diff options
| author | Heikki Krogerus <heikki.krogerus@linux.intel.com> | 2018-11-09 17:21:33 +0300 |
|---|---|---|
| committer | Rafael J. Wysocki <rafael.j.wysocki@intel.com> | 2018-11-26 18:19:11 +0100 |
| commit | 2d51ac9086fd4852c1e43d615bd8dd99f2a616eb (patch) | |
| tree | 417654e37ae8f49f82bf3077f594ea4b5cb9ac68 /scripts/gdb/linux/tasks.py | |
| 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 <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>
Diffstat (limited to 'scripts/gdb/linux/tasks.py')
0 files changed, 0 insertions, 0 deletions