mul_u64_u64_add_u64
static inline u64 mul_u64_u64_add_u64(u64 *p_lo, u64 a, u64 b, u64 c)
#define mul_u64_u64_add_u64 mul_u64_u64_add_u64_32bit