vkernel - Remove unneeded -T flag, that was added in 7b21e5e4a2ba4592a.
authorImre Vadász <imre@vdsz.com>
Fri, 28 Dec 2018 14:50:31 +0000 (15:50 +0100)
committerImre Vadász <imre@vdsz.com>
Fri, 28 Dec 2018 14:54:29 +0000 (15:54 +0100)
* Instead the -e hw.tsc_cputimer_enable=0 flag can be used, to set the
  tunable that disables use of the TSC cputimer.

Pointed-out-by: swildner
share/man/man7/vkernel.7
sys/cpu/x86_64/misc/cputimer_tsc.c
sys/platform/vkernel64/platform/init.c

index 8588755..e3ca35a 100644 (file)
@@ -287,8 +287,9 @@ However, the more precise timer might be necessary for your application.
 By default, the vkernel uses the TSC cpu timer if possible, or an imprecise
 (host-tick-resolution) timer which uses a user-mapped kernel page and does
 not have any syscall overhead.
-.It Fl T
-Force the vkernel to not use the TSC cpu timer.
+To disable the TSC cpu timer, use the
+.Fl e Ar hw.tsc_cputimer_enable=0
+flag.
 .It Fl U
 Enable writing to kernel memory and module loading.
 By default, those are disabled for security reasons.
index 1cfb84f..eae2028 100644 (file)
@@ -74,8 +74,6 @@ static struct cpucounter tsc_cpucounter = {
 };
 
 #ifdef _KERNEL_VIRTUAL
-extern int allow_tsc_timer;
-
 #define TSC_CPUTIMER_FREQMAX   2000000 /* 2MHz */
 #else
 #define TSC_CPUTIMER_FREQMAX   128000000       /* 128Mhz */
@@ -137,11 +135,6 @@ tsc_cputimer_register(void)
        uint64_t freq;
        int enable = 1;
 
-#ifdef _KERNEL_VIRTUAL
-       if (!allow_tsc_timer)
-               return;
-#endif
-
        if (!tsc_mpsync) {
 #ifndef _KERNEL_VIRTUAL
                if (tsc_invariant) {
index fdfc87f..bd2b467 100644 (file)
@@ -124,7 +124,6 @@ int vkernel_b_arg;  /* no of logical CPU bits - only SMP */
 int vkernel_B_arg;     /* no of core bits - only SMP */
 int vmm_enabled;       /* VMM HW assisted enable */
 int use_precise_timer = 0;     /* use a precise timer (more expensive) */
-int allow_tsc_timer = 1;       /* use the TSC cpu timer if possible */
 struct privatespace *CPU_prvspace;
 
 tsc_uclock_t tsc_frequency;
@@ -319,9 +318,6 @@ main(int ac, char **av)
                case 't':
                        use_precise_timer = 1;
                        break;
-               case 'T':
-                       allow_tsc_timer = 0;
-                       break;
                case 'v':
                        bootverbose = 1;
                        break;
@@ -1579,7 +1575,7 @@ static
 void
 usage_help(_Bool help)
 {
-       fprintf(stderr, "Usage: %s [-hsUvdtT] [-c file] [-e name=value:name=value:...]\n"
+       fprintf(stderr, "Usage: %s [-hsUvdt] [-c file] [-e name=value:name=value:...]\n"
            "\t[-i file] [-I interface[:address1[:address2][/netmask]]] [-l cpulock]\n"
            "\t[-m size] [-n numcpus[:lbits[:cbits]]]\n"
            "\t[-p file] [-r file]\n", save_av[0]);
@@ -1608,7 +1604,6 @@ usage_help(_Bool help)
                    "\t-R\tSpecify a COW disk image file, iterates vkd0..n\n"
                    "\t-s\tBoot into single-user mode.\n"
                    "\t-t\tUse a precise host timer when calculating clock values.\n"
-                   "\t-T\tDisallow use of the TSC cpu timer as a clock.\n"
                    "\t-U\tEnable writing to kernel memory and module loading.\n"
                    "\t-v\tTurn on verbose booting.\n");