return val;
}
+static inline reg32
+cpu_rcr4()
+{
+ ptr_t val;
+ asm volatile("movl %%cr4,%0" : "=r"(val));
+ return val;
+}
+
static inline reg32
cpu_reflags()
{
void
cpu_wrmsr(u32_t msr_idx, u32_t reg_high, u32_t reg_low);
+static inline void
+cpu_ldvmspace(ptr_t vms)
+{
+ cpu_lcr3(vms);
+}
+
#endif
\ No newline at end of file