x86: Remove split_msr_val()
[akaros.git] / kern / include / common.h
index 859fd35..cf467a4 100644 (file)
@@ -64,3 +64,17 @@ do {                                                                           \
                ran_once = TRUE;                                                       \
        }                                                                          \
 } while (0)
+
+#ifndef __ASSEMBLER__
+
+static inline uint32_t low32(uint64_t val)
+{
+       return val & 0xffffffff;
+}
+
+static inline uint32_t high32(uint64_t val)
+{
+       return val >> 32;
+}
+
+#endif /* !__ASSEMBLER__ */