Symbol: IPMI_CHANNEL_MEDIUM_8023LAN
drivers/char/ipmi/ipmi_msghandler.c
2209
!= IPMI_CHANNEL_MEDIUM_8023LAN)
drivers/char/ipmi/ipmi_msghandler.c
4652
if ((chans[ch].medium == IPMI_CHANNEL_MEDIUM_8023LAN)
drivers/char/ipmi/ipmi_msghandler.c
4763
case IPMI_CHANNEL_MEDIUM_8023LAN: