EAX_EDX_VAL        55 arch/x86/include/asm/msr.h #define EAX_EDX_VAL(val, low, high)	((low) | (high) << 32)
EAX_EDX_VAL        59 arch/x86/include/asm/msr.h #define EAX_EDX_VAL(val, low, high)	(val)