platform_registered   22 drivers/char/ipmi/ipmi_si_platform.c static bool platform_registered;
platform_registered  475 drivers/char/ipmi/ipmi_si_platform.c 		platform_registered = true;
platform_registered  480 drivers/char/ipmi/ipmi_si_platform.c 	if (platform_registered)
platform_registered  305 drivers/char/ipmi/ipmi_ssif.c static bool platform_registered;
platform_registered 2172 drivers/char/ipmi/ipmi_ssif.c 			platform_registered = true;
platform_registered 2196 drivers/char/ipmi/ipmi_ssif.c 	if (ssif_trydmi && platform_registered)