Lines Matching defs:P256

45      UINT256 P256;
316 __mul_128x128_to_256 (P256, C1, ten2mk128[ind - 1]);
318 Cstar.w[1] = P256.w[3];
319 Cstar.w[0] = P256.w[2];
321 fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
322 fstar.w[1] = P256.w[1];
323 fstar.w[0] = P256.w[0];
326 Cstar.w[0] = P256.w[3];
327 fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
328 fstar.w[2] = P256.w[2];
329 fstar.w[1] = P256.w[1];
330 fstar.w[0] = P256.w[0];
402 UINT256 P256;
679 __mul_128x128_to_256 (P256, C1, ten2mk128[ind - 1]);
681 Cstar.w[1] = P256.w[3];
682 Cstar.w[0] = P256.w[2];
684 fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
685 fstar.w[1] = P256.w[1];
686 fstar.w[0] = P256.w[0];
689 Cstar.w[0] = P256.w[3];
690 fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
691 fstar.w[2] = P256.w[2];
692 fstar.w[1] = P256.w[1];
693 fstar.w[0] = P256.w[0];
826 UINT256 P256;
1025 __mul_128x128_to_256 (P256, C1, ten2mk128[ind - 1]);
1027 Cstar.w[1] = P256.w[3];
1028 Cstar.w[0] = P256.w[2];
1031 Cstar.w[0] = P256.w[3];
1082 UINT256 P256;
1283 __mul_128x128_to_256 (P256, C1, ten2mk128[ind - 1]);
1285 Cstar.w[1] = P256.w[3];
1286 Cstar.w[0] = P256.w[2];
1288 fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
1289 fstar.w[1] = P256.w[1];
1290 fstar.w[0] = P256.w[0];
1293 Cstar.w[0] = P256.w[3];
1294 fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
1295 fstar.w[2] = P256.w[2];
1296 fstar.w[1] = P256.w[1];
1297 fstar.w[0] = P256.w[0];
1377 UINT256 P256;
1606 __mul_128x128_to_256 (P256, C1, ten2mk128[ind - 1]);
1608 Cstar.w[1] = P256.w[3];
1609 Cstar.w[0] = P256.w[2];
1611 fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
1612 fstar.w[1] = P256.w[1];
1613 fstar.w[0] = P256.w[0];
1616 Cstar.w[0] = P256.w[3];
1617 fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
1618 fstar.w[2] = P256.w[2];
1619 fstar.w[1] = P256.w[1];
1620 fstar.w[0] = P256.w[0];
1711 UINT256 P256;
1942 __mul_128x128_to_256 (P256, C1, ten2mk128[ind - 1]);
1944 Cstar.w[1] = P256.w[3];
1945 Cstar.w[0] = P256.w[2];
1947 fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
1948 fstar.w[1] = P256.w[1];
1949 fstar.w[0] = P256.w[0];
1952 Cstar.w[0] = P256.w[3];
1953 fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
1954 fstar.w[2] = P256.w[2];
1955 fstar.w[1] = P256.w[1];
1956 fstar.w[0] = P256.w[0];
2052 UINT256 P256;
2281 __mul_128x128_to_256 (P256, C1, ten2mk128[ind - 1]);
2283 Cstar.w[1] = P256.w[3];
2284 Cstar.w[0] = P256.w[2];
2287 Cstar.w[0] = P256.w[3];
2338 UINT256 P256;
2568 __mul_128x128_to_256 (P256, C1, ten2mk128[ind - 1]);
2570 Cstar.w[1] = P256.w[3];
2571 Cstar.w[0] = P256.w[2];
2573 fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
2574 fstar.w[1] = P256.w[1];
2575 fstar.w[0] = P256.w[0];
2578 Cstar.w[0] = P256.w[3];
2579 fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
2580 fstar.w[2] = P256.w[2];
2581 fstar.w[1] = P256.w[1];
2582 fstar.w[0] = P256.w[0];
2662 UINT256 P256;
2938 __mul_128x128_to_256 (P256, C1, ten2mk128[ind - 1]);
2940 Cstar.w[1] = P256.w[3];
2941 Cstar.w[0] = P256.w[2];
2944 Cstar.w[0] = P256.w[3];
3004 UINT256 P256;
3286 __mul_128x128_to_256 (P256, C1, ten2mk128[ind - 1]);
3288 Cstar.w[1] = P256.w[3];
3289 Cstar.w[0] = P256.w[2];
3291 fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
3292 fstar.w[1] = P256.w[1];
3293 fstar.w[0] = P256.w[0];
3296 Cstar.w[0] = P256.w[3];
3297 fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
3298 fstar.w[2] = P256.w[2];
3299 fstar.w[1] = P256.w[1];
3300 fstar.w[0] = P256.w[0];