// SPDX-License-Identifier: GPL-2.0

#include <linux/fwctl.h>

#if IS_ENABLED(CONFIG_RUST_FWCTL_ABSTRACTIONS)

__rust_helper struct fwctl_device *rust_helper_fwctl_get(struct fwctl_device *fwctl)
{
	return fwctl_get(fwctl);
}

__rust_helper void rust_helper_fwctl_put(struct fwctl_device *fwctl)
{
	fwctl_put(fwctl);
}

#endif