__release_child_resources  255 kernel/resource.c 		__release_child_resources(tmp);
__release_child_resources  268 kernel/resource.c 	__release_child_resources(r);