Remove the BUILD_INFO_FILE variable
[akaros.git] / kern / arch / x86 / x86.h
index 6009ecf..9c49ef0 100644 (file)
@@ -1,8 +1,9 @@
-#ifndef ROS_INC_X86_H
-#define ROS_INC_X86_H
+#pragma once
 
 #include <ros/common.h>
 #include <arch/mmu.h>
+#include <ros/errno.h>
+#include <arch/fixup.h>
 
 /* Model Specific Registers */
 // TODO: figure out which are intel specific, and name them accordingly
@@ -53,9 +54,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. */
 
 #define X86_CR8_TPR    0x0000000F /* task priority register */
 
 #ifndef __ASSEMBLER__
+
 static inline uint8_t inb(int port) __attribute__((always_inline));
 static inline void insb(int port, void *addr, int cnt)
               __attribute__((always_inline));
@@ -178,6 +167,11 @@ static inline void lcr3(unsigned long val) __attribute__((always_inline));
 static inline unsigned long rcr3(void) __attribute__((always_inline));
 static inline void lcr4(unsigned long val) __attribute__((always_inline));
 static inline unsigned long rcr4(void) __attribute__((always_inline));
+
+static inline void lxcr0(uint64_t xcr0) __attribute__((always_inline));
+static inline int safe_lxcr0(uint64_t xcr0) __attribute__((always_inline));
+static inline uint64_t rxcr0(void) __attribute__((always_inline));
+
 static inline unsigned long read_flags(void) __attribute__((always_inline));
 static inline void write_eflags(unsigned long eflags)
               __attribute__((always_inline));
@@ -187,7 +181,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));
@@ -310,6 +304,11 @@ static inline unsigned long rcr0(void)
        return val;
 }
 
+static inline void lcr2(unsigned long val)
+{
+       asm volatile("mov %0,%%cr2" : : "r" (val));
+}
+
 static inline unsigned long rcr2(void)
 {
        unsigned long val;
@@ -341,6 +340,49 @@ static inline unsigned long rcr4(void)
        return cr4;
 }
 
+static inline void lxcr0(uint64_t xcr0)
+{
+       uint32_t eax, edx;
+
+       edx = xcr0 >> 32;
+       eax = xcr0;
+       asm volatile("xsetbv"
+                    : /* No outputs */
+                    : "a"(eax), "c" (0), "d"(edx));
+}
+
+static inline int safe_lxcr0(uint64_t xcr0)
+{
+       int err = 0;
+       uint32_t eax, edx;
+
+       edx = xcr0 >> 32;
+       eax = xcr0;
+       asm volatile(ASM_STAC               ";"
+                        "1: xsetbv              ;"
+                    "2: " ASM_CLAC "        ;"
+                    ".section .fixup, \"ax\";"
+                    "3: mov %4, %0          ;"
+                    "   jmp 2b              ;"
+                    ".previous              ;"
+                    _ASM_EXTABLE(1b, 3b)
+                    : "=r" (err)
+                    : "a"(eax), "c" (0), "d"(edx),
+                      "i" (-EINVAL), "0" (err));
+
+       return err;
+}
+
+static inline uint64_t rxcr0(void)
+{
+       uint32_t eax, edx;
+
+       asm volatile("xgetbv"
+                    : "=a"(eax), "=d"(edx)
+                    : "c" (0));
+       return ((uint64_t)edx << 32) | eax;
+}
+
 static inline unsigned long read_flags(void)
 {
        unsigned long eflags;
@@ -379,7 +421,7 @@ static inline void cpuid(uint32_t info1, uint32_t info2, uint32_t *eaxp,
 {
        uint32_t eax, ebx, ecx, edx;
        /* Can select with both eax (info1) and ecx (info2) */
-       asm volatile("cpuid" 
+       asm volatile("cpuid"
                : "=a" (eax), "=b" (ebx), "=c" (ecx), "=d" (edx)
                : "a" (info1), "c" (info2));
        if (eaxp)
@@ -392,10 +434,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;
 }
 
@@ -407,11 +449,15 @@ static inline uint64_t read_msr(uint32_t reg)
        return (uint64_t)edx << 32 | eax;
 }
 
+static void split_msr_val(uint64_t val, uint32_t *high32, uint32_t *low32)
+{
+       *high32 = val >> 32;
+       *low32 = val & 0xffffffff;
+}
+
 static inline void write_msr(uint32_t reg, uint64_t val)
 {
-       asm volatile("wrmsr" : : "d"((uint32_t)(val >> 32)),
-                                "a"((uint32_t)(val & 0xFFFFFFFF)), 
-                                "c"(reg));
+       asm volatile("wrmsr" : : "d"(val >> 32), "a"(val & 0xFFFFFFFF), "c"(reg));
 }
 
 static inline void write_mmreg32(uintptr_t reg, uint32_t val)
@@ -440,7 +486,5 @@ static inline void __cpu_relax(void)
 
 #ifndef UNUSED_ARG
 #define UNUSED_ARG(x) (void)x
-#endif /* This prevents compiler warnings for UNUSED_ARG */ 
+#endif /* This prevents compiler warnings for UNUSED_ARG */
 #endif /* !__ASSEMBLER__ */
-
-#endif /* !ROS_INC_X86_H */