Lines Matching refs:x0
643 uint8_t *x0 = input + (uint32_t)4U * i;
644 uint32_t inputi = load32_le(x0);
654 uint8_t *x0 = output + (uint32_t)4U * i;
655 store32_le(x0, hd1);
825 + uint8_t *x0;
842 - uint8_t *x0 = n1 + (uint32_t)8U;
843 - uint32_t n2 = load32_le(x0);
848 + x0 = n1 + (uint32_t)8U;
849 + n2 = load32_le(x0);
1511 uint64_t *x0 = buf0;
1524 Hacl_EC_Format_fexpand(x0, basepoint);
1927 x0[0U] = r0;
1928 x0[1U] = r1;
1929 x0[2U] = r2;
1930 x0[3U] = r3;
1931 x0[4U] = r4;
2020 x0[0U] = r0;
2021 x0[1U] = r1;
2022 x0[2U] = r2;
2023 x0[3U] = r3;
2024 x0[4U] = r4;