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