// SPDX-License-Identifier: GPL-2.0 #include <linux/platform_device.h> void *rust_helper_platform_get_drvdata(const struct platform_device *pdev) { return platform_get_drvdata(pdev); } void rust_helper_platform_set_drvdata(struct platform_device *pdev, void *data) { platform_set_drvdata(pdev, data); } bool rust_helper_dev_is_platform(const struct device *dev) { return dev_is_platform(dev); }