platform_driver_unregister(9) on Linux

The text 2b017a002161, as Debian 4.0 (Etch) shipped it.

platform_driver_unregister(9) on Linux now