| /seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/ |
| H A D | syscall_header_gen.py | 232 args = parse_args() variable
|
| /seL4-l4v-10.1.1/seL4/tools/ |
| H A D | syscall_header_gen.py | 232 args = parse_args() variable
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw2/ |
| H A D | closure.sml | 86 val (args, d) = dest_pabs M value
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | DiskFilesHeader.sml | 28 val args = map (fn n => acc ! n) arglist value
|
| H A D | Ho_Net.sml | [all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arc/ |
| H A D | ffi.c | 197 ffi_closure_inner_ARCompact(ffi_closure * closure, void *rvalue, ffi_arg * args) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | java_raw_api.c | 76 ffi_java_raw_to_ptrarray (ffi_cif *cif, ffi_java_raw *raw, void **args) argument
157 ffi_java_ptrarray_to_raw(ffi_cif *cif, void **args, ffi_java_raw *raw) argument
[all...] |
| H A D | raw_api.c | 57 ffi_raw_to_ptrarray (ffi_cif *cif, ffi_raw *raw, void **args) argument
138 ffi_ptrarray_to_raw(ffi_cif *cif, void **args, ffi_raw *raw) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/nios2/ |
| H A D | ffi.c | 203 ffi_closure_helper (unsigned char *args, argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | cls_24byte.c | 41 cls_struct_24byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | cls_64byte.c | 46 cls_struct_64byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | cls_longdouble.c | 56 void* args[ local
35 cls_ldouble_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
[all...] |
| H A D | many2_win32.c | 32 ffi_type *args[13]; local
|
| H A D | many_win32.c | 32 ffi_type *args[13]; local
|
| H A D | nested_struct10.c | 44 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | nested_struct2.c | 37 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | nested_struct3.c | 38 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | nested_struct4.c | 38 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | nested_struct5.c | 38 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | nested_struct6.c | 43 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | nested_struct7.c | 38 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | nested_struct8.c | 43 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | nested_struct9.c | 43 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | stret_large.c | 63 cls_struct_108byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|
| H A D | stret_large2.c | 65 cls_struct_116byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|