kernel - Use GDF_VIRTUSER to help measure user% in the vkernel host
authorMatthew Dillon <dillon@apollo.backplane.com>
Sat, 28 Jan 2017 22:07:02 +0000 (14:07 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Sat, 28 Jan 2017 22:07:56 +0000 (14:07 -0800)
commit08309d9463e600111ece28767233ca8f9769b7ce
tree089b8a12156c7bf2b79e3b6109a00fb12fe681c0
parent98e80c6197a3c9407427208478cd1c813ff5f1ec
kernel - Use GDF_VIRTUSER to help measure user% in the vkernel host

* The vkernel host measures time in the vkernel VMM (when VMM is enabled)
  as system time.  Use the GDF_VIRTUSER flag to try to measure that time
  as user time.
sys/kern/kern_clock.c
sys/platform/pc64/vmm/vmx.c
sys/sys/globaldata.h