|
Lines 188-194
Link Here
|
| 188 |
} ffi_raw; |
188 |
} ffi_raw; |
| 189 |
|
189 |
|
| 190 |
void ffi_raw_call (/*@dependent@*/ ffi_cif *cif, |
190 |
void ffi_raw_call (/*@dependent@*/ ffi_cif *cif, |
| 191 |
void (*fn)(), |
191 |
void (*fn)(void), |
| 192 |
/*@out@*/ void *rvalue, |
192 |
/*@out@*/ void *rvalue, |
| 193 |
/*@dependent@*/ ffi_raw *avalue); |
193 |
/*@dependent@*/ ffi_raw *avalue); |
| 194 |
|
194 |
|
|
Lines 201-207
Link Here
|
| 201 |
/* longs and doubles are followed by an empty 64-bit word. */ |
201 |
/* longs and doubles are followed by an empty 64-bit word. */ |
| 202 |
|
202 |
|
| 203 |
void ffi_java_raw_call (/*@dependent@*/ ffi_cif *cif, |
203 |
void ffi_java_raw_call (/*@dependent@*/ ffi_cif *cif, |
| 204 |
void (*fn)(), |
204 |
void (*fn)(void), |
| 205 |
/*@out@*/ void *rvalue, |
205 |
/*@out@*/ void *rvalue, |
| 206 |
/*@dependent@*/ ffi_raw *avalue); |
206 |
/*@dependent@*/ ffi_raw *avalue); |
| 207 |
|
207 |
|
|
Lines 270-276
Link Here
|
| 270 |
/*@dependent@*/ ffi_type **atypes); |
270 |
/*@dependent@*/ ffi_type **atypes); |
| 271 |
|
271 |
|
| 272 |
void ffi_call(/*@dependent@*/ ffi_cif *cif, |
272 |
void ffi_call(/*@dependent@*/ ffi_cif *cif, |
| 273 |
void (*fn)(), |
273 |
void (*fn)(void), |
| 274 |
/*@out@*/ void *rvalue, |
274 |
/*@out@*/ void *rvalue, |
| 275 |
/*@dependent@*/ void **avalue); |
275 |
/*@dependent@*/ void **avalue); |
| 276 |
|
276 |
|
