Match writemsr with the Linux impl

bc31041c · Silas Boyd-Wickizer · b6a87fd8 · bc31041c
--- a/amd64.h
+++ b/amd64.h
@@ -153,11 +153,11 @@ readmsr(u32 msr)
 }

 static inline void
-writemsr(u32 msr, u64 val)
+writemsr(u64 msr, u64 val)
 {
  u32 lo = val & 0xffffffff;
  u32 hi = val >> 32;
-  __asm volatile("wrmsr" : : "c" (msr), "a" (lo), "d" (hi));
+  __asm volatile("wrmsr" : : "c" (msr), "a" (lo), "d" (hi) : "memory");
 }

 static inline u64