EAX_EDX_VAL
# define EAX_EDX_VAL(val, low, high) ((low) | (high) << 32)
# define EAX_EDX_VAL(val, low, high) (val)
