linux/drivers/char/ipmi/ipmi_plat_data.h

/* SPDX-License-Identifier: GPL-2.0+ */

/*
 * Generic code to add IPMI platform devices.
 */

#include <linux/ipmi.h>

enum ipmi_plat_interface_type { … };

struct ipmi_plat_data { … };

struct platform_device *ipmi_platform_add(const char *name, unsigned int inst,
					  struct ipmi_plat_data *p);