Turn off TSD on slaves.
Signed-off-by: Kanoj Sarcar <[email protected]>
---
kern/arch/x86/smp_boot.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/kern/arch/x86/smp_boot.c b/kern/arch/x86/smp_boot.c
index e248d9e..9d5405b 100644
--- a/kern/arch/x86/smp_boot.c
+++ b/kern/arch/x86/smp_boot.c
@@ -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);
}
--
You received this message because you are subscribed to the Google Groups
"Akaros" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
For more options, visit https://groups.google.com/d/optout.
