Path	Lines of Code
kern/kern_init.c	48
kern/kern_internal.h	143
kern/kern_support.c	780
kern/kern_synch.c	2148
kern/kern_trace.h	79
kern/synch_internal.h	118