Turn off TSD in slave processors.
authorKanoj Sarcar <kanoj@google.com>
Wed, 24 Feb 2016 19:08:13 +0000 (14:08 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 24 Feb 2016 19:08:13 +0000 (14:08 -0500)
Turn off TSD (Time Stamp Disable) on slaves.

Signed-off-by: Kanoj Sarcar <kanoj@google.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/smp_boot.c

index e248d9e..9d5405b 100644 (file)
@@ -305,4 +305,5 @@ void __arch_pcpu_init(uint32_t coreid)
        /* need to init perfctr before potentially using it in timer handler */
        perfmon_pcpu_init();
        vmm_pcpu_init();
+       lcr4(rcr4() & ~CR4_TSD);
 }