Change all references of num_cpus -> num_cores
[akaros.git] / kern / arch / x86 / x86.h
index 7d3dacd..51a08aa 100644 (file)
@@ -53,9 +53,7 @@
 #define CPUID_PSE_SUPPORT                      0x00000008
 
 /* Arch Constants */
-#define MAX_NUM_CPUS                           255
-
-#ifdef CONFIG_X86_64
+#define MAX_NUM_CORES                          255
 
 #define X86_REG_BP                                     "rbp"
 #define X86_REG_SP                                     "rsp"
 #define X86_REG_CX                                     "rcx"
 #define X86_REG_DX                                     "rdx"
 
-#else /* 32 bit */
-
-#define X86_REG_BP                                     "ebp"
-#define X86_REG_SP                                     "esp"
-#define X86_REG_IP                                     "eip"
-#define X86_REG_AX                                     "eax"
-#define X86_REG_BX                                     "ebx"
-#define X86_REG_CX                                     "ecx"
-#define X86_REG_DX                                     "edx"
-
-#endif /* 64bit / 32bit */
 
 /* Various flags defined: can be included from assembler. */
 
@@ -187,9 +174,11 @@ static inline unsigned long read_sp(void) __attribute__((always_inline));
 static inline void cpuid(uint32_t info1, uint32_t info2, uint32_t *eaxp,
                          uint32_t *ebxp, uint32_t *ecxp, uint32_t *edxp)
                                                               __attribute__((always_inline));
+static inline uint32_t cpuid_ecx(uint32_t op) __attribute__((always_inline));
 static inline uint64_t read_msr(uint32_t reg) __attribute__((always_inline));
 static inline void write_msr(uint32_t reg, uint64_t val)
               __attribute__((always_inline));
+/* if we have mm64s, change the hpet helpers */
 static inline void write_mmreg32(uintptr_t reg, uint32_t val)
               __attribute__((always_inline));
 static inline uint32_t read_mmreg32(uintptr_t reg)
@@ -390,6 +379,13 @@ static inline void cpuid(uint32_t info1, uint32_t info2, uint32_t *eaxp,
                *edxp = edx;
 }
 
+static inline uint32_t cpuid_ecx(uint32_t op)
+{
+       uint32_t ecx;
+       cpuid(op, 0, NULL, NULL, &ecx, NULL);
+       return ecx;
+}
+
 // Might need to mfence rdmsr.  supposedly wrmsr serializes, but not for x2APIC
 static inline uint64_t read_msr(uint32_t reg)
 {