device_tmp       6109 drivers/android/binder.c 	char *device_name, *device_tmp;
device_tmp       6166 drivers/android/binder.c 		device_tmp = device_names;
device_tmp       6167 drivers/android/binder.c 		while ((device_name = strsep(&device_tmp, ","))) {