Name

platform_get_resource — get a resource for a device