Searched refs:idx_bytes_32 (Results 1 – 1 of 1) sorted by relevance
| /external/openssh/ |
| D | xmss_fast.c | 568 unsigned char idx_bytes_32[32]; in xmss_sign() local
569 to_byte(idx_bytes_32, idx, 32); in xmss_sign()
593 prf(R, idx_bytes_32, sk_prf, n); in xmss_sign()
811 unsigned char idx_bytes_32[32]; in xmssmt_sign() local
838 to_byte(idx_bytes_32, idx, 32); in xmssmt_sign()
839 prf(R, idx_bytes_32, sk_prf, n); in xmssmt_sign()
|