#include <stdint.h>
+#define SEL_RPL(selector) ((selector)&0x3)
+
typedef unsigned int reg32;
typedef unsigned short reg16;
typedef struct
{
- reg16 ss;
- reg16 es;
reg16 ds;
+ reg16 es;
reg16 fs;
reg16 gs;
- reg16 cs;
} __attribute__((packed)) sg_reg;
void
static inline reg32
cpu_rcr0()
{
- asm("mov %cr0, %eax");
+ uintptr_t val;
+ asm volatile("movl %%cr0,%0" : "=r"(val));
+ return val;
}
static inline reg32
cpu_rcr2()
{
- asm("mov %cr2, %eax");
+ uintptr_t val;
+ asm volatile("movl %%cr2,%0" : "=r"(val));
+ return val;
}
static inline reg32
cpu_rcr3()
{
- asm("mov %cr3, %eax");
+ uintptr_t val;
+ asm volatile("movl %%cr3,%0" : "=r"(val));
+ return val;
+}
+
+static inline reg32
+cpu_reflags()
+{
+ uintptr_t val;
+ asm volatile("pushf\n"
+ "popl %0\n"
+ : "=r"(val)::);
+ return val;
}
#pragma GCC diagnostic pop
: "r"(interm));
}
+static inline void
+cpu_int(int vect)
+{
+ asm("int %0" ::"i"(vect));
+}
+
void
cpu_rdmsr(uint32_t msr_idx, uint32_t* reg_high, uint32_t* reg_low);