@@ -31,7 +31,7 @@
: /* no outputs */ \
: "c" (msr), "a" (val1), "d" (val2))
-static inline void wrmsrl(unsigned int msr, __u64 val)
+static inline void wrmsrl(unsigned int msr, uint64_t val)
{
uint32_t lo = val, hi = val >> 32;
@@ -18,6 +18,7 @@ typedef uint16_t __u16;
typedef int32_t s32, __s32;
typedef uint32_t __u32;
typedef int64_t s64, __s64;
+typedef uint64_t __u64;
typedef paddr_t phys_addr_t;
@@ -8,7 +8,7 @@
typedef uint8_t u8;
typedef uint16_t u16;
typedef uint32_t u32;
-typedef uint64_t u64, __u64;
+typedef uint64_t u64;
#include <asm/types.h>
@@ -55,8 +55,8 @@ typedef uint16_t __le16;
typedef uint16_t __be16;
typedef uint32_t __le32;
typedef uint32_t __be32;
-typedef __u64 __le64;
-typedef __u64 __be64;
+typedef uint64_t __le64;
+typedef uint64_t __be64;
typedef unsigned int __attribute__((__mode__(__pointer__))) uintptr_t;
... and move the type itself to linux-compat.h. Signed-off-by: Jan Beulich <jbeulich@suse.com>