carta

platform_device_register(9) on Linux

The text ede2ac348992, as Debian 6.0 (Squeeze) shipped it.

add a platform-level device

platform_device_register(9) on Linux now