platform_driver_register(9) on Linux

The text 0b37ba747084, as Debian 7 (Wheezy) shipped it. The page shows this text now.

register a driver for platform-level devices

platform_driver_register(9) on Linux now