2646     uint32_t *p1 = NULL, *p2 = NULL, x1, x2, *lut, *Tx = NULL, *Ty = NULL, *Tz = NULL;  in double_scalar_multiplication()  local
2677         p1 = &CASPER_MEM[(20U * N_wordlen + 80U) + 48U * N_wordlen];  in double_scalar_multiplication()
2687         p1 = &CASPER_MEM[(20U * N_wordlen + 80U) + 12U * N_wordlen];  in double_scalar_multiplication()
2695     CASPER_MEMCPY(p1, k1, sizeof(uint32_t) * N_wordlen);  in double_scalar_multiplication()
2699 …while (((casper_get_word(&p1[N_wordlen - 1U]) | casper_get_word(&p2[N_wordlen - 1U])) >> 31) == 0U…  in double_scalar_multiplication()
2701         shiftleft(p1, p1, 1U);  in double_scalar_multiplication()
2708     x1 = casper_get_word(&p1[N_wordlen - 1U]) >> shiftr;  in double_scalar_multiplication()
2719     shiftleft(p1, p1, shiftl);  in double_scalar_multiplication()
2729 …while ((casper_get_word(&p1[0]) | casper_get_word(&p1[1]) | casper_get_word(&p1[2]) | casper_get_w…  in double_scalar_multiplication()
2730 …casper_get_word(&p1[4]) | casper_get_word(&p1[5]) | casper_get_word(&p1[6]) | casper_get_word(&p1[…  in double_scalar_multiplication()
2731 …casper_get_word(&p1[8]) | casper_get_word(&p1[9]) | casper_get_word(&p1[10]) | casper_get_word(&p1…  in double_scalar_multiplication()
2732 …casper_get_word(&p1[12]) | casper_get_word(&p1[13]) | casper_get_word(&p1[14]) | casper_get_word(&…  in double_scalar_multiplication()
2733 …casper_get_word(&p1[16]) | casper_get_word(&p1[17]) | casper_get_word(&p2[0]) | casper_get_word(&p…  in double_scalar_multiplication()
2741 …while (((casper_get_word(&p1[N_wordlen - 1U]) | casper_get_word(&p2[N_wordlen - 1U])) >> 31) == 0U…  in double_scalar_multiplication()
2744             shiftleft(p1, p1, 1U);  in double_scalar_multiplication()
2760         x1 = casper_get_word(&p1[N_wordlen - 1U]) >> shiftr;  in double_scalar_multiplication()
2773         shiftleft(p1, p1, shiftl);  in double_scalar_multiplication()
2789         x1 = casper_get_word(&p1[N_wordlen - 1U]) >> 31;  in double_scalar_multiplication()