Implement flush capability for the profiler tracing data
authorDavide Libenzi <dlibenzi@google.com>
Sun, 13 Dec 2015 21:38:42 +0000 (13:38 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 16 Dec 2015 21:27:59 +0000 (16:27 -0500)
commitd8014bbb6fa28e29e74056d03b5f8c3a8cb5a92f
tree862ca3d2bbd3d56c0b5be1407cb0ab12a82f075e
parentd5652c5a765763ba0d6047f2d6dfd8bdc8064943
Implement flush capability for the profiler tracing data

Implement flush capability for the profiler tracing data, to allows the
per CPU buffers to be writing into the main queue, so that data is
visible from the user POV.

Signed-off-by: Davide Libenzi <dlibenzi@google.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/drivers/dev/kprof.c