wrmsr
static inline void wrmsr(u32 msr, u32 low, u32 high)
static __always_inline void wrmsr(u32 msr, u32 low, u32 high)
#undef wrmsr
#define wrmsr(x, y, z) do { } while (0)
static inline void wrmsr(uint32_t msr, uint64_t value)