diff options
| author | Ingo Molnar <mingo@kernel.org> | 2017-06-05 09:54:49 +0200 |
|---|---|---|
| committer | Ingo Molnar <mingo@kernel.org> | 2017-06-05 09:54:49 +0200 |
| commit | 4241119eeb14f762e2d7f6e7c52afd22cea1de37 (patch) | |
| tree | 655a153ca0517acb93b1eea776bad49ce5d8b050 /drivers/of/platform.c | |
| parent | mm, x86/mm: Make the batched unmap TLB flush API more generic (diff) | |
| parent | Linux 4.12-rc4 (diff) | |
| download | linux-4241119eeb14f762e2d7f6e7c52afd22cea1de37.tar.xz linux-4241119eeb14f762e2d7f6e7c52afd22cea1de37.zip | |
Merge tag 'v4.12-rc4' into x86/mm, to pick up fixes
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'drivers/of/platform.c')
| -rw-r--r-- | drivers/of/platform.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/drivers/of/platform.c b/drivers/of/platform.c index 71fecc2debfc..703a42118ffc 100644 --- a/drivers/of/platform.c +++ b/drivers/of/platform.c @@ -523,7 +523,7 @@ static int __init of_platform_default_populate_init(void) arch_initcall_sync(of_platform_default_populate_init); #endif -static int of_platform_device_destroy(struct device *dev, void *data) +int of_platform_device_destroy(struct device *dev, void *data) { /* Do not touch devices not populated from the device tree */ if (!dev->of_node || !of_node_check_flag(dev->of_node, OF_POPULATED)) @@ -544,6 +544,7 @@ static int of_platform_device_destroy(struct device *dev, void *data) of_node_clear_flag(dev->of_node, OF_POPULATED_BUS); return 0; } +EXPORT_SYMBOL_GPL(of_platform_device_destroy); /** * of_platform_depopulate() - Remove devices populated from device tree |