IPMI_MAX_CHANNELS  303 drivers/char/ipmi/ipmi_msghandler.c 	struct ipmi_channel c[IPMI_MAX_CHANNELS];
IPMI_MAX_CHANNELS  602 drivers/char/ipmi/ipmi_msghandler.c 	struct ipmi_my_addrinfo addrinfo[IPMI_MAX_CHANNELS];
IPMI_MAX_CHANNELS  860 drivers/char/ipmi/ipmi_msghandler.c 	    || (addr->channel >= IPMI_MAX_CHANNELS)
IPMI_MAX_CHANNELS 1404 drivers/char/ipmi/ipmi_msghandler.c 	if (channel >= IPMI_MAX_CHANNELS) {
IPMI_MAX_CHANNELS 1407 drivers/char/ipmi/ipmi_msghandler.c 		channel = array_index_nospec(channel, IPMI_MAX_CHANNELS);
IPMI_MAX_CHANNELS 1426 drivers/char/ipmi/ipmi_msghandler.c 	if (channel >= IPMI_MAX_CHANNELS) {
IPMI_MAX_CHANNELS 1429 drivers/char/ipmi/ipmi_msghandler.c 		channel = array_index_nospec(channel, IPMI_MAX_CHANNELS);
IPMI_MAX_CHANNELS 1448 drivers/char/ipmi/ipmi_msghandler.c 	if (channel >= IPMI_MAX_CHANNELS) {
IPMI_MAX_CHANNELS 1451 drivers/char/ipmi/ipmi_msghandler.c 		channel = array_index_nospec(channel, IPMI_MAX_CHANNELS);
IPMI_MAX_CHANNELS 1470 drivers/char/ipmi/ipmi_msghandler.c 	if (channel >= IPMI_MAX_CHANNELS) {
IPMI_MAX_CHANNELS 1473 drivers/char/ipmi/ipmi_msghandler.c 		channel = array_index_nospec(channel, IPMI_MAX_CHANNELS);
IPMI_MAX_CHANNELS 1952 drivers/char/ipmi/ipmi_msghandler.c 	if (addr->channel >= IPMI_MAX_CHANNELS) {
IPMI_MAX_CHANNELS 2091 drivers/char/ipmi/ipmi_msghandler.c 	if (addr->channel >= IPMI_MAX_CHANNELS) {
IPMI_MAX_CHANNELS 2293 drivers/char/ipmi/ipmi_msghandler.c 	if (addr->channel >= IPMI_MAX_CHANNELS)
IPMI_MAX_CHANNELS 2295 drivers/char/ipmi/ipmi_msghandler.c 	addr->channel = array_index_nospec(addr->channel, IPMI_MAX_CHANNELS);
IPMI_MAX_CHANNELS 3294 drivers/char/ipmi/ipmi_msghandler.c 		if (intf->curr_channel >= IPMI_MAX_CHANNELS) {
IPMI_MAX_CHANNELS 3431 drivers/char/ipmi/ipmi_msghandler.c 	for (j = 0; j < IPMI_MAX_CHANNELS; j++) {
IPMI_MAX_CHANNELS 4323 drivers/char/ipmi/ipmi_msghandler.c 		if (chan >= IPMI_MAX_CHANNELS)
IPMI_MAX_CHANNELS 4341 drivers/char/ipmi/ipmi_msghandler.c 		if (chan >= IPMI_MAX_CHANNELS) {