ipmi_enabled      134 dev/i2c/i2c.c  	extern int ipmi_enabled;
ipmi_enabled      136 dev/i2c/i2c.c  	if (ipmi_enabled) {
ipmi_enabled       62 dev/ipmi.c     int	ipmi_enabled = 0;
ipmi_enabled     1740 dev/ipmi.c     	ipmi_enabled = 1;