Symbol: times38
usr.bin/signify/fe25519.c
205
r->v[i-32] = t[i-32] + times38(t[i]);
usr.bin/ssh/ed25519.c
323
r->v[i-32] = t[i-32] + times38(t[i]);