return; 
 /* drain the response queue */ while ((buf = rndis_get_next_response(configNr, &length))) rndis_free_response(configNr, buf); 
void rndis_uninit (int configNr){	if (configNr >= RNDIS_MAX_CONFIGS)		return;	rndis_per_dev_params [configNr].used = 0;	rndis_per_dev_params [configNr].state = RNDIS_UNINITIALIZED;	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/486e2df6ce213d0c776befdf3fe5ffc61dd61688/rndis.c/buggy/drivers/usb/gadget/rndis.c