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: