struct ib_sa_device *sa_dev = ib_get_client_data(event->device, &sa_client); 
struct ib_sa_device *sa_dev; sa_dev = container_of(handler, typeof(*sa_dev), event_handler); 
static void ib_sa_event(struct ib_event_handler *handler, struct ib_event *event){	if (event->event == IB_EVENT_PORT_ERR    ||	    event->event == IB_EVENT_PORT_ACTIVE ||	    event->event == IB_EVENT_LID_CHANGE  ||	    event->event == IB_EVENT_PKEY_CHANGE ||	    event->event == IB_EVENT_SM_CHANGE) {		struct ib_sa_device *sa_dev =			ib_get_client_data(event->device, &sa_client);		schedule_work(&sa_dev->port[event->element.port_num -					    sa_dev->start_port].update_task);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1d6801f9dd3ebb054ae685153a01b1a4ec817f46/sa_query.c/buggy/drivers/infiniband/core/sa_query.c