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