if (intf == NULL) 
if (IPMI_INVALID_INTERFACE(intf)) 
static void ipmi_request_event(void){	ipmi_smi_t intf;	int        i;	spin_lock(&interfaces_lock);	for (i = 0; i < MAX_IPMI_INTERFACES; i++) {		intf = ipmi_interfaces[i];		if (intf == NULL)			continue;		intf->handlers->request_events(intf->send_info);	}	spin_unlock(&interfaces_lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/393d2cc354d150b8b4bb888a9da7db4c935e12bd/ipmi_msghandler.c/clean/drivers/char/ipmi/ipmi_msghandler.c