compat_arg_u64_dual
#define compat_arg_u64_dual(name) u32, name##_lo, u32, name##_hi
#define compat_arg_u64_dual(name) u32, name##_hi, u32, name##_lo
