Searched defs:tp (Results 1 - 10 of 10) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/milner/ |
H A D | milner.cxx | 31 bdd transitions(bdd* t, bdd* tp, bdd* h, bdd* hp, bdd* c, bdd* cp) argument 122 bdd* tp = new bdd[N]; local [all...] |
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/ |
H A D | milner.c | 34 bdd transitions(bdd* t, bdd* tp, bdd* h, bdd* hp, bdd* c, bdd* cp) argument 229 bdd *c, *cp, *h, *hp, *t, *tp; local [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
H A D | java_raw_api.c | 79 ffi_type **tp = cif->arg_types; local 160 ffi_type **tp = cif->arg_types; local [all...] |
H A D | raw_api.c | 60 ffi_type **tp = cif->arg_types; local 141 ffi_type **tp = cif->arg_types; local [all...] |
H A D | dlmalloc.c | 3628 tchunkptr tp = (tchunkptr)p; local
|
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
H A D | types.h | 45 seL4_Word tp; member in struct:seL4_UserContext_
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/ |
H A D | ffi.c | 875 char *tp; local
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/machine/ |
H A D | registerset.h | 37 tp = 3, enumerator in enum:_register
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/ |
H A D | defunctionalize.sml | 81 let val tp = type_of fname value 374 val tp = type_of M value [all...] |
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/ |
H A D | holfootParser.sml | 736 val tp = find_used_holvars res_varL (Redblackset.empty String.compare) p; value 1207 val tp = absyn2term (Absyn.list_mk_pair [pre_a, fun_body_a, post_a]); value
|
Completed in 170 milliseconds