// SPDX-License-Identifier: GPL-2.0

#include <linux/device.h>

__rust_helper int rust_helper_devm_add_action(struct device *dev,
					      void (*action)(void *),
					      void *data)
{
	return devm_add_action(dev, action, data);
}

__rust_helper int rust_helper_devm_add_action_or_reset(struct device *dev,
						       void (*action)(void *),
						       void *data)
{
	return devm_add_action_or_reset(dev, action, data);
}

__rust_helper void *rust_helper_dev_get_drvdata(const struct device *dev)
{
	return dev_get_drvdata(dev);
}

__rust_helper void rust_helper_dev_set_drvdata(struct device *dev, void *data)
{
	dev_set_drvdata(dev, data);
}

__rust_helper const char *rust_helper_dev_name(const struct device *dev)
{
	return dev_name(dev);
}