SI_SHORT_TIMEOUT_USEC  892 drivers/char/ipmi/ipmi_si_intf.c 		udelay(SI_SHORT_TIMEOUT_USEC);
SI_SHORT_TIMEOUT_USEC  893 drivers/char/ipmi/ipmi_si_intf.c 		result = smi_event_handler(smi_info, SI_SHORT_TIMEOUT_USEC);