platform.c

1// SPDX-License-Identifier: GPL-2.0
2
3#include <linux/platform_device.h>
4
5bool rust_helper_dev_is_platform(const struct device *dev)
6{
7	return dev_is_platform(dev);
8}