time.c handles the kernel profiling, and references prof_buffer/ prof_len/prof_shift.
Attach a file by drag & drop or click to upload