synchronize_kernel(); 
synchronize_rcu(); 
void synchronize_net(void) {	might_sleep();	synchronize_kernel();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fbd568a3e61a7decb8a754ad952aaa5b5c82e9e5/dev.c/clean/net/core/dev.c