The text c40918bf7aa9, as Debian 7 (Wheezy) shipped it.
destroy a platform device
platform_device_put(9) on Linux now
