Searched refs:y1 (Results 1 – 1 of 1) sorted by relevance
72 uint32_t y1 = (uint32_t)(y >> 32); in mul64x64() local82 prod->high = (uint64_t)x1 * (uint64_t)y1; in mul64x64()88 add.low = (uint64_t)x2 * (uint64_t)y1; in mul64x64()