mul_u64_u64_div64
#define mul_u64_u64_div64 mul_u64_u64_div64
static inline u64 mul_u64_u64_div64(u64 a, u64 b, u64 c)