Name

platform_device_unregister — unregister a platform-level device