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)