vmm: Collect and report scheduler stats
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 1 Aug 2017 14:13:17 +0000 (10:13 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 25 Aug 2017 18:41:49 +0000 (14:41 -0400)
commitfd190b57aa1a4d55d051a97d661fb3e3ef5e299e
tree99495136a159ba3db3e4b758b4334e6d5fc3a802
parent84b60db830c9431767325f19f31746e4faea0520
vmm: Collect and report scheduler stats

You can access these with "notify 9".  e.g.

$ notify PID 9

Pass 1 as the arg to reset the counters.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/vmm/include/vmm/sched.h
user/vmm/sched.c