Symbol: is_ipmb_addr
drivers/char/ipmi/ipmi_msghandler.c
2378
} else if (is_ipmb_addr(addr) || is_ipmb_bcast_addr(addr)) {
drivers/char/ipmi/ipmi_msghandler.c
857
if (is_ipmb_addr(addr1) || is_ipmb_bcast_addr(addr1)) {
drivers/char/ipmi/ipmi_msghandler.c
910
if (is_ipmb_addr(addr) || is_ipmb_bcast_addr(addr)) {