menu "Time Management"
+config TIME_HIDE_VM_COST
+ bool "Hide VMM Run Cost"
+ default n
+ help
+ Offset guest time from host time sufficiently to hide the cost of
+ running in the virtual machine. This can aid the consistency of
+ time between multiple timers, but can cause the guest to run
+ slightly slower than the host.
+
+config TIME_HIDE_EXIT_COST
+ bool "Hide VMM Exit Cost"
+ default n
+ depends on TIME_HIDE_VM_COST
+ help
+ Add additional TSC offset to hide VMM exit costs from the guest.
+
+config TIME_EXIT_COST_ADJUST
+ int "Exit cost adjustment for hiding VM exits"
+ default 2000
+ depends on TIME_HIDE_EXIT_COST
+ help
+ Amount to adjust the time to hide the exit cost of fully virtualizing
+ the timestamp counter. Used to hide the cost of fully virtualizing
+ the TSC for OSes that assume that reading the TSC is inexpensive
+ (e.g. Linux TSC-based timer calibration).
+
config TIME_VIRTUALIZE_TSC
- bool "Virtualize guest TSC"
+ bool "Fully virtualize guest TSC"
default n
help
Virtualize the processor time stamp counter in the guest,
generally increasing consistency between various time sources
but also potentially making guest time run slower than real time.
-
+
endmenu
menu "Symbiotic Functions"
