Lines Matching refs:wuffs_base__multiply_u64
987 // wuffs_base__multiply_u64 returns x*y as a 128-bit value.991 wuffs_base__multiply_u64(uint64_t x, uint64_t y) {14107 wuffs_base__multiply_u64__output x = wuffs_base__multiply_u64(man, po10[1]);14131 wuffs_base__multiply_u64__output y = wuffs_base__multiply_u64(man, po10[0]);