Symbol: to_platform_device