1 // SPDX-License-Identifier: GPL-2.0 2 3 #include <linux/platform_device.h> 4 5 void *rust_helper_platform_get_drvdata(const struct platform_device *pdev) 6 { 7 return platform_get_drvdata(pdev); 8 } 9 10 void rust_helper_platform_set_drvdata(struct platform_device *pdev, void *data) 11 { 12 platform_set_drvdata(pdev, data); 13 } 14 15 bool rust_helper_dev_is_platform(const struct device *dev) 16 { 17 return dev_is_platform(dev); 18 } 19