IPMI_MAX_INTFS    253 drivers/char/ipmi/ipmi_si_intf.c static int force_kipmid[IPMI_MAX_INTFS];
IPMI_MAX_INTFS    256 drivers/char/ipmi/ipmi_si_intf.c static unsigned int kipmid_max_busy_us[IPMI_MAX_INTFS];