rust/helpers/platform.c

// 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);
}