#ifdef DEBUG_HOSED_REASON printk("ipmi_kcs_sm: kcs hosed: %s\n", reason); #endif 
if (kcs_debug & KCS_DEBUG_ENABLE) printk(KERN_DEBUG "ipmi_kcs_sm: kcs hosed: %s\n", reason); 
static inline void start_error_recovery(struct si_sm_data *kcs, char *reason){	(kcs->error_retries)++;	if (kcs->error_retries > MAX_ERROR_RETRIES) {#ifdef DEBUG_HOSED_REASON		printk("ipmi_kcs_sm: kcs hosed: %s\n", reason);#endif		kcs->state = KCS_HOSED;	} else {		kcs->state = KCS_ERROR0;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c4edff1c19ef23e15aae64ca03f32c6719822d54/ipmi_kcs_sm.c/buggy/drivers/char/ipmi/ipmi_kcs_sm.c