Name

platform_device_del — remove a platform-level device