IPMI_CHANNEL_MEDIUM_8023LAN 2099 drivers/char/ipmi/ipmi_msghandler.c 				!= IPMI_CHANNEL_MEDIUM_8023LAN)
IPMI_CHANNEL_MEDIUM_8023LAN 4266 drivers/char/ipmi/ipmi_msghandler.c 			if ((chans[ch].medium == IPMI_CHANNEL_MEDIUM_8023LAN)
IPMI_CHANNEL_MEDIUM_8023LAN 4377 drivers/char/ipmi/ipmi_msghandler.c 		case IPMI_CHANNEL_MEDIUM_8023LAN: