/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | err_bad_typedef.c | 14 ffi_type* arg_types[1]; local 18 arg_types[0] = NULL; 23 arg_types) == FFI_BAD_TYPEDEF);
|
H A D | float_va.c | 48 ffi_type *arg_types[5]; local 63 arg_types[0] = &ffi_type_uint; 64 arg_types[1] = &ffi_type_double; 65 arg_types[2] = NULL; 67 &ffi_type_double, arg_types) == FFI_OK); 85 arg_types[0] = &ffi_type_uint; 86 arg_types[1] = &ffi_type_double; 87 arg_types[2] = &ffi_type_double; 88 arg_types[3] = &ffi_type_double; 89 arg_types[ [all...] |
H A D | err_bad_abi.c | 21 ffi_type* arg_types[1]; local 23 arg_types[0] = NULL; 26 arg_types) == FFI_BAD_ABI); 29 arg_types) == FFI_OK);
|
H A D | cls_longdouble.c | 57 ffi_type* arg_types[9]; local 69 arg_types[0] = &ffi_type_longdouble; 70 arg_types[1] = &ffi_type_longdouble; 71 arg_types[2] = &ffi_type_longdouble; 72 arg_types[3] = &ffi_type_longdouble; 73 arg_types[4] = &ffi_type_longdouble; 74 arg_types[5] = &ffi_type_longdouble; 75 arg_types[6] = &ffi_type_longdouble; 76 arg_types[7] = &ffi_type_longdouble; 77 arg_types[ [all...] |
H A D | cls_double_va.c | 29 ffi_type* arg_types[3]; local 35 arg_types[0] = &ffi_type_pointer; 36 arg_types[1] = &ffi_type_double; 37 arg_types[2] = NULL; 41 arg_types) == FFI_OK);
|
H A D | cls_longdouble_va.c | 29 ffi_type* arg_types[3]; local 35 arg_types[0] = &ffi_type_pointer; 36 arg_types[1] = &ffi_type_longdouble; 37 arg_types[2] = NULL; 41 arg_types) == FFI_OK);
|
H A D | va_1.c | 84 ffi_type* arg_types[15]; local 131 arg_types[0] = &ffi_type_sint; 132 arg_types[1] = &s_type; 133 arg_types[2] = &l_type; 134 arg_types[3] = &s_type; 135 arg_types[4] = &ffi_type_uchar; 136 arg_types[5] = &ffi_type_schar; 137 arg_types[6] = &ffi_type_ushort; 138 arg_types[7] = &ffi_type_sshort; 139 arg_types[ [all...] |
H A D | cls_pointer.c | 39 ffi_type* arg_types[3]; local 50 arg_types[0] = &ffi_type_pointer; 51 arg_types[1] = &ffi_type_pointer; 52 arg_types[2] = NULL; 55 arg_types) == FFI_OK);
|
H A D | cls_struct_va1.c | 47 ffi_type* arg_types[5]; local 84 arg_types[0] = &ffi_type_sint; 85 arg_types[1] = &s_type; 86 arg_types[2] = &l_type; 87 arg_types[3] = &s_type; 88 arg_types[4] = NULL; 91 arg_types) == FFI_OK);
|
H A D | va_struct1.c | 51 ffi_type* arg_types[5]; local 87 arg_types[0] = &ffi_type_sint; 88 arg_types[1] = &s_type; 89 arg_types[2] = &l_type; 90 arg_types[3] = &s_type; 91 arg_types[4] = NULL; 93 CHECK(ffi_prep_cif_var(&cif, FFI_DEFAULT_ABI, 1, 4, &ffi_type_sint, arg_types) == FFI_OK);
|
H A D | va_struct2.c | 53 ffi_type* arg_types[5]; local 89 arg_types[0] = &ffi_type_sint; 90 arg_types[1] = &s_type; 91 arg_types[2] = &l_type; 92 arg_types[3] = &s_type; 93 arg_types[4] = NULL; 95 CHECK(ffi_prep_cif_var(&cif, FFI_DEFAULT_ABI, 1, 4, &s_type, arg_types) == FFI_OK);
|
H A D | va_struct3.c | 55 ffi_type* arg_types[5]; local 91 arg_types[0] = &ffi_type_sint; 92 arg_types[1] = &s_type; 93 arg_types[2] = &l_type; 94 arg_types[3] = &s_type; 95 arg_types[4] = NULL; 97 CHECK(ffi_prep_cif_var(&cif, FFI_DEFAULT_ABI, 1, 4, &l_type, arg_types) == FFI_OK);
|
H A D | nested_struct11.c | 55 ffi_type* arg_types[8]; local 93 arg_types[0] = &ffi_type_sint32; 94 arg_types[1] = &ffi_type_sint32; 95 arg_types[2] = &ffi_type_sint32; 96 arg_types[3] = &struct_type_c; 97 arg_types[4] = &ffi_type_sint32; 98 arg_types[5] = &ffi_type_sint32; 99 arg_types[6] = &ffi_type_sint32; 100 arg_types[7] = NULL; 111 arg_types) [all...] |
H A D | problem1.c | 51 ffi_type* arg_types[3]; local 67 arg_types[0] = &my_ffi_struct_type; 68 arg_types[1] = &my_ffi_struct_type; 69 arg_types[2] = NULL; 72 arg_types) == FFI_OK);
|
H A D | cls_pointer_stack.c | 102 ffi_type* arg_types[3]; local 113 arg_types[0] = &ffi_type_pointer; 114 arg_types[1] = &ffi_type_pointer; 115 arg_types[2] = NULL; 118 arg_types) == FFI_OK);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/alpha/ |
H A D | ffi.c | 84 ffi_type **arg_types; local 100 arg_types = cif->arg_types; 104 size_t size = (*arg_types)->size; 106 switch ((*arg_types)->type) 158 memcpy(argp, *avalue, (*arg_types)->size); 166 i++, arg_types++, avalue++; 213 ffi_type **arg_types; local 231 arg_types = cif->arg_types; [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/ |
H A D | ffi.c | 70 for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types; i; i--, p_arg++) 158 for (i = 0, p_arg = ecif->cif->arg_types; i < ecif->cif->nargs; 544 ffi_type **arg_types; local 549 arg_types = cif->arg_types; 567 if (arg_types[i]->type == FFI_TYPE_STRUCT 569 || arg_types[i]->type == FFI_TYPE_LONGDOUBLE 576 else if ((arg_types[i]->type == FFI_TYPE_DOUBLE 577 || arg_types[i]->type == FFI_TYPE_SINT64 578 || arg_types[ 609 ffi_type **arg_types; local [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
H A D | ffi64.c | 396 if (examine_argument (cif->arg_types[i], classes, 0, &ngpr, &nsse) == 0 400 long align = cif->arg_types[i]->alignment; 406 bytes += cif->arg_types[i]->size; 427 ffi_type **arg_types; local 456 arg_types = cif->arg_types; 460 size_t n, size = arg_types[i]->size; 462 n = examine_argument (arg_types[i], classes, 0, &ngpr, &nsse); 467 long align = arg_types[i]->alignment; 494 switch (arg_types[ 576 ffi_type **arg_types; local [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/ |
H A D | ffi.c | 107 for (i = 0, p_arg = ecif->cif->arg_types; i < ecif->cif->nargs; i++, p_arg++) 338 switch ((cif->arg_types)[0]->type) 342 cif->flags += (cif->arg_types)[0]->type; 355 switch ((cif->arg_types)[1]->type) 359 cif->flags += (cif->arg_types)[1]->type << FFI_FLAG_BITS; 452 type = (cif->arg_types)[index]->type; 472 ((cif->arg_types)[index]->type << (arg_reg * FFI_FLAG_BITS)); 497 (cif->arg_types)[index], 772 ffi_type **arg_types; local 790 arg_types 926 ffi_type **arg_types; local [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/cris/ |
H A D | ffi.c | 82 for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types; 172 cif->arg_types = atypes; 184 for (ptr = cif->arg_types, i = cif->nargs; i > 0; i--, ptr++) 304 ffi_type **arg_types = cif->arg_types; local 316 if (arg_types[i]->size <= 4) 321 else if (arg_types[i]->size <= 8) 328 FFI_ASSERT (arg_types[i]->type == FFI_TYPE_STRUCT);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/microblaze/ |
H A D | ffi.c | 70 for (i = 0, p_arg = ecif->cif->arg_types; i < ecif->cif->nargs; 183 ffi_type** arg_types = cif->arg_types; local 218 switch (arg_types[i]->type) 242 if (arg_types[i]->size < WORD_SIZE) 244 memcpy (ptr, ptr + (WORD_SIZE - arg_types[i]->size), arg_types[i]->size); 262 ptr += WORD_ALIGN(arg_types[i]->size);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/ |
H A D | ffi.c | 128 for (i = ecif->cif->nargs, ptr = ecif->cif->arg_types; 254 ffi_type **arg_types; local 272 arg_types = cif->arg_types; 277 if (arg_types[i]->alignment == 8 && (areg & 1) != 0) 284 if (arg_types[i]->type == FFI_TYPE_STRUCT) 286 int numregs = ((arg_types[i]->size + 3) & ~3) / 4; 292 areg += (arg_types[i]->size + 3) / 4;
|
/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | untyped.scala | 15 def method(c: Class[_], name: String, arg_types: Class[_]*): Method = 17 val m = c.getDeclaredMethod(name, arg_types: _*)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | untyped.scala | 15 def method(c: Class[_], name: String, arg_types: Class[_]*): Method = 17 val m = c.getDeclaredMethod(name, arg_types: _*)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/tile/ |
H A D | ffi.c | 151 ffi_type ** const arg_types = cif->arg_types; local 168 ffi_type *type = arg_types[i]; 197 argp += assign_to_ffi_arg(argp, arg_in, arg_types[i], 1); 292 ffi_type ** const arg_types = cif->arg_types; local 321 ffi_type * const type = arg_types[i];
|