Added perfmon interrupt handling to allow overflow based profiling
[akaros.git] / kern / arch / x86 / x86.h
index 6009ecf..8b9b6e1 100644 (file)
@@ -1,5 +1,4 @@
-#ifndef ROS_INC_X86_H
-#define ROS_INC_X86_H
+#pragma once
 
 #include <ros/common.h>
 #include <arch/mmu.h>
@@ -53,9 +52,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,7 +173,7 @@ 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(int op) __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));
@@ -392,10 +378,10 @@ static inline void cpuid(uint32_t info1, uint32_t info2, uint32_t *eaxp,
                *edxp = edx;
 }
 
-static inline uint32_t cpuid_ecx(int opcode)
+static inline uint32_t cpuid_ecx(uint32_t op)
 {
        uint32_t ecx;
-       cpuid(1, 0, NULL, NULL, &ecx, NULL);
+       cpuid(op, 0, NULL, NULL, &ecx, NULL);
        return ecx;
 }
 
@@ -442,5 +428,3 @@ static inline void __cpu_relax(void)
 #define UNUSED_ARG(x) (void)x
 #endif /* This prevents compiler warnings for UNUSED_ARG */ 
 #endif /* !__ASSEMBLER__ */
-
-#endif /* !ROS_INC_X86_H */