diff options
| author | jbj <devnull@localhost> | 2001-09-19 16:16:15 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2001-09-19 16:16:15 +0000 |
| commit | 02c1189d5951c70f632482fc0a674af35e9ea15d (patch) | |
| tree | 5d8020b8d3fdca7f57d27097cbb6c44aa91e2c70 /beecrypt/mp32prime.h | |
| parent | 7aea4d1e958c385d5ecd01638a3f295426ccf15c (diff) | |
| download | rpm-02c1189d5951c70f632482fc0a674af35e9ea15d.tar.gz rpm-02c1189d5951c70f632482fc0a674af35e9ea15d.tar.bz2 rpm-02c1189d5951c70f632482fc0a674af35e9ea15d.zip | |
Add autogen.sh et al to build from CVS.
First pass at lclint annotations.
CVS patchset: 5062
CVS date: 2001/09/19 16:16:15
Diffstat (limited to 'beecrypt/mp32prime.h')
| -rw-r--r-- | beecrypt/mp32prime.h | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/beecrypt/mp32prime.h b/beecrypt/mp32prime.h index c2ff58899..10c5a6632 100644 --- a/beecrypt/mp32prime.h +++ b/beecrypt/mp32prime.h @@ -37,18 +37,24 @@ extern "C" { #endif BEEDLLAPI -int mp32ptrials (uint32); +int mp32ptrials (uint32 bits) + /*@*/; BEEDLLAPI -int mp32pmilrab (const mp32barrett*, randomGeneratorContext*, int); +int mp32pmilrab_w (const mp32barrett* p, randomGeneratorContext* rc, int t, uint32* wksp) + /*@modifies wksp @*/; BEEDLLAPI -void mp32prnd (mp32barrett*, randomGeneratorContext*, uint32, int, const mp32number*); +void mp32prnd_w (mp32barrett* p, randomGeneratorContext* rc, uint32 size, int t, /*@null@*/ const mp32number* f, uint32* wksp) + /*@modifies p, rc, wksp @*/; BEEDLLAPI -void mp32prndsafe (mp32barrett*, randomGeneratorContext*, uint32, int); +void mp32prndsafe_w (mp32barrett* p, randomGeneratorContext* rc, uint32 size, int t, uint32* wksp) + /*@modifies p, rc, wksp @*/; BEEDLLAPI -void mp32prndcon (mp32barrett*, randomGeneratorContext*, uint32, int, const mp32number*, const mp32number*, const mp32number*, mp32number*); +void mp32prndcon_w (mp32barrett* p, randomGeneratorContext* rc, uint32, int, const mp32number*, const mp32number*, const mp32number*, mp32number*, uint32* wksp) + /*@modifies wksp @*/; BEEDLLAPI -void mp32prndconone(mp32barrett*, randomGeneratorContext*, uint32, int, const mp32barrett*, const mp32number*, mp32number*, int); +void mp32prndconone_w(mp32barrett* p, randomGeneratorContext* rc, uint32 size, int t, const mp32barrett* q, /*@null@*/ const mp32number* f, mp32number* r, int cofactor, uint32* wksp) + /*@modifies p, rc, r, wksp @*/; #ifdef __cplusplus } |