kern_resource.c revision 3087dc40
1