EAX_EDX_VAL        32 include/asm-x86/msr.h #define EAX_EDX_VAL(val, low, high)	((low) | ((u64)(high) << 32))
EAX_EDX_VAL        37 include/asm-x86/msr.h #define EAX_EDX_VAL(val, low, high)	(val)