synchronize_kernel(); 
synchronize_sched();  /* Allow interrupts to complete. */ 
s390_register_adapter_interrupt (adapter_int_handler_t handler){	int ret;	char dbf_txt[15];	CIO_TRACE_EVENT (4, "rgaint");	if (handler == NULL)		ret = -EINVAL;	else		ret = (cmpxchg(&adapter_handler, NULL, handler) ? -EBUSY : 0);	if (!ret)		synchronize_kernel();	sprintf (dbf_txt, "ret:%d", ret);	CIO_TRACE_EVENT (4, dbf_txt);	return ret;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fbd568a3e61a7decb8a754ad952aaa5b5c82e9e5/airq.c/clean/drivers/s390/cio/airq.c