ipmi_platform_add
if (ipmi_platform_add(name, ipmi_dmi_nr, &p))
EXPORT_SYMBOL(ipmi_platform_add);
struct platform_device *ipmi_platform_add(const char *name, unsigned int inst,
ipmi_platform_add("hardcode-ipmi-si", i, &p);
ipmi_platform_add("hotmod-ipmi-si",