ipmi_platform_driver   85 drivers/char/ipmi/ipmi_si.h extern struct platform_driver ipmi_platform_driver;
ipmi_platform_driver  458 drivers/char/ipmi/ipmi_si_platform.c struct platform_driver ipmi_platform_driver = {
ipmi_platform_driver  471 drivers/char/ipmi/ipmi_si_platform.c 	int rv = platform_driver_register(&ipmi_platform_driver);
ipmi_platform_driver  481 drivers/char/ipmi/ipmi_si_platform.c 		platform_driver_unregister(&ipmi_platform_driver);