is_ipmb_addr      822 drivers/char/ipmi/ipmi_msghandler.c 	if (is_ipmb_addr(addr1) || is_ipmb_bcast_addr(addr1)) {
is_ipmb_addr      864 drivers/char/ipmi/ipmi_msghandler.c 	if (is_ipmb_addr(addr) || is_ipmb_bcast_addr(addr)) {
is_ipmb_addr     2260 drivers/char/ipmi/ipmi_msghandler.c 	} else if (is_ipmb_addr(addr) || is_ipmb_bcast_addr(addr)) {