Searched refs:point_buf (Results 1 – 2 of 2) sorted by relevance
713 uint64_t point_buf[40U] = { 0U }; in Hacl_EC_Ladder_cmult() local714 uint64_t *nq = point_buf; in Hacl_EC_Ladder_cmult()715 uint64_t *nqpq = point_buf + (uint32_t)10U; in Hacl_EC_Ladder_cmult()716 uint64_t *nq2 = point_buf + (uint32_t)20U; in Hacl_EC_Ladder_cmult()717 uint64_t *nqpq2 = point_buf + (uint32_t)30U; in Hacl_EC_Ladder_cmult()
758 uint64_t point_buf[40U] = { 0U }; in Hacl_EC_Ladder_cmult() local759 uint64_t *nq = point_buf; in Hacl_EC_Ladder_cmult()760 uint64_t *nqpq = point_buf + (uint32_t)10U; in Hacl_EC_Ladder_cmult()761 uint64_t *nq2 = point_buf + (uint32_t)20U; in Hacl_EC_Ladder_cmult()762 uint64_t *nqpq2 = point_buf + (uint32_t)30U; in Hacl_EC_Ladder_cmult()