vmm: Export the TSC freq via a vmcall (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 22 Nov 2017 16:44:23 +0000 (11:44 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 22 Nov 2017 16:49:34 +0000 (11:49 -0500)
commitc1257c0d0110f52364b787a7a6b31b1ae99d0176
tree42dc8e193b85442af909f0e376690bb99c3ea4b2
parent2eb7c344c3a6bbae9c441c0a357cb1c5607fe34e
vmm: Export the TSC freq via a vmcall (XCC)

This reduces the changes we make to the guest outside of akaros.c and
simplifies the commandline processing on our end.

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/ros/vmm.h
tests/vmm/vmrunkernel.c
user/vmm/vmexit.c