EAX_EDX_DECLARE_ARGS
# define EAX_EDX_DECLARE_ARGS(val, low, high) unsigned long low, high
# define EAX_EDX_DECLARE_ARGS(val, low, high) u64 val