ipmi_major        793 drivers/char/ipmi/ipmi_devintf.c static int ipmi_major;
ipmi_major        794 drivers/char/ipmi/ipmi_devintf.c module_param(ipmi_major, int, 0);
ipmi_major        795 drivers/char/ipmi/ipmi_devintf.c MODULE_PARM_DESC(ipmi_major, "Sets the major number of the IPMI device.  By"
ipmi_major        813 drivers/char/ipmi/ipmi_devintf.c 	dev_t dev = MKDEV(ipmi_major, if_num);
ipmi_major        831 drivers/char/ipmi/ipmi_devintf.c 	dev_t dev = MKDEV(ipmi_major, if_num);
ipmi_major        857 drivers/char/ipmi/ipmi_devintf.c 	if (ipmi_major < 0)
ipmi_major        868 drivers/char/ipmi/ipmi_devintf.c 	rv = register_chrdev(ipmi_major, DEVICE_NAME, &ipmi_fops);
ipmi_major        871 drivers/char/ipmi/ipmi_devintf.c 		pr_err("ipmi: can't get major %d\n", ipmi_major);
ipmi_major        875 drivers/char/ipmi/ipmi_devintf.c 	if (ipmi_major == 0) {
ipmi_major        876 drivers/char/ipmi/ipmi_devintf.c 		ipmi_major = rv;
ipmi_major        881 drivers/char/ipmi/ipmi_devintf.c 		unregister_chrdev(ipmi_major, DEVICE_NAME);
ipmi_major        903 drivers/char/ipmi/ipmi_devintf.c 	unregister_chrdev(ipmi_major, DEVICE_NAME);