struct rcu_synchronize rcu;  init_completion(&rcu.completion); /* Will wake me after RCU finished */ call_rcu(&rcu.head, wakeme_after_rcu);  /* Wait for it */ wait_for_completion(&rcu.completion); 
synchronize_rcu(); 
void synchronize_kernel(void){	struct rcu_synchronize rcu;	init_completion(&rcu.completion);	/* Will wake me after RCU finished */	call_rcu(&rcu.head, wakeme_after_rcu);	/* Wait for it */	wait_for_completion(&rcu.completion);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9b06e818985d139fd9e82c28297f7744e1b484e1/rcupdate.c/clean/kernel/rcupdate.c