if (intf == NULL) 
if (IPMI_INVALID_INTERFACE(intf)) 
static int panic_event(struct notifier_block *this,		       unsigned long         event,                       void                  *ptr){	int        i;	ipmi_smi_t intf;	if (has_paniced)		return NOTIFY_DONE;	has_paniced = 1;	/* For every registered interface, set it to run to completion. */	for (i = 0; i < MAX_IPMI_INTERFACES; i++) {		intf = ipmi_interfaces[i];		if (intf == NULL)			continue;		intf->handlers->set_run_to_completion(intf->send_info, 1);	}#ifdef CONFIG_IPMI_PANIC_EVENT	send_panic_events(ptr);#endif	return NOTIFY_DONE;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/393d2cc354d150b8b4bb888a9da7db4c935e12bd/ipmi_msghandler.c/clean/drivers/char/ipmi/ipmi_msghandler.c