kern_resource.c revision bb56ec4a
1