platform_device_register_full(9) on Linux

The text 397e7400aeb0, as Debian 7 (Wheezy) shipped it.

add a platform-level device with resources and platform-specific data