kernel/x86: stores cpu number in TSC_AUX if rdtscp is available

On modern x86, one can use __rdtscp to get the current cpu in userland. Change-Id: I1767e379606230a75e4622637c7a5aed9cdf9ab0 Reviewed-on: https://review.haiku-os.org/c/haiku/+/2248 Reviewed-by: Adrien Destugues <[email protected]>
2020-02-17 17:26:39 +00:00
parent b9db31f649
commit 073e295aa6
4 changed files with 67 additions and 0 deletions
@@ -114,6 +114,7 @@
 #define IA32_MSR_FS_BASE				0xc0000100
 #define IA32_MSR_GS_BASE				0xc0000101
 #define IA32_MSR_KERNEL_GS_BASE			0xc0000102
+#define IA32_MSR_TSC_AUX				0xc0000103

 // K8 MSR registers
 #define K8_MSR_IPM						0xc0010055