vkernel - Adjust use of GDF_VIRTUSER
authorMatthew Dillon <dillon@backplane.com>
Fri, 31 May 2019 04:38:29 +0000 (23:38 -0500)
committerMatthew Dillon <dillon@backplane.com>
Fri, 31 May 2019 04:38:29 +0000 (23:38 -0500)
commitbc280c8647cecc555fb91c9b07a9eb2179683847
tree9315013fbdbd790c8f3ce964345afd22947ef151
parenta007903a4ec12165bffac7879c47c3b30bfbddda
vkernel - Adjust use of GDF_VIRTUSER

* Don't clear GDF_VIRTUSER until after exiting the critical section,
  otherwise hardclock() will tick sys instead of user.

  A user bound program should now show more reasonable values for
  user%.

* Scrap some debug counters that are no longer applicable, cleaning
  up a few cache line bounces.
sys/platform/vkernel64/platform/systimer.c
sys/platform/vkernel64/x86_64/cpu_regs.c
sys/platform/vkernel64/x86_64/trap.c