Searched defs:ap (Results 1 - 19 of 19) sorted by relevance
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibHeap.sml | 49 fun ap [] = () function
|
H A D | folMapping.sml | 666 fun ap {higher_order, with_types} (r, tm) p = function
|
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
H A D | holCheckTools.sml | 25 val ap = List.map (fn p => prop2ap p state) prop_tms (*FIXME: don't use abstraction if number of AP's is too high *) value
|
H A D | muSyntax.sml | 270 val ap = mk_AP state (mk_ap f) value
|
H A D | muCheck.sml | 29 val ap = rand mf value 144 val ap = pbody (snd (dest_comb mf)) value
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | float_va.c | 22 va_list ap; local
|
H A D | va_struct1.c | 31 va_list ap; local
|
H A D | va_struct2.c | 31 va_list ap; local
|
H A D | va_struct3.c | 31 va_list ap; local
|
H A D | va_1.c | 31 va_list ap; local [all...] |
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Heap.sml | 49 fun ap [] = () function
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Heap.sml | 49 fun ap [] = () function
|
/seL4-l4v-10.1.1/seL4/src/machine/ |
H A D | io.c | 167 vprintf(const char *format, va_list ap) argument [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
H A D | vspace.c | 307 asid_pool_t* ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap)); local
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
H A D | vspace.c | 531 asid_pool_t* ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap)); local
|
/seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
H A D | fieldTools.sml | 916 val ap = is_field_div a value 936 val ap = is_field_div a value
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 672 asid_pool_t* ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap)); local 886 word_t ap; local 1009 word_t ap, size local [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 591 asid_pool_t* ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap)); local
|
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/ |
H A D | vars_as_resourceFunctor.sml | 1235 val (ap,_,_,_,_) = dest_VAR_RES_COND_HOARE_TRIPLE___FIRST_COMMAND tt; value 1253 val (ap,_,_,_,_,thm0_fun) = dest_VAR_RES_COND_HOARE_TRIPLE___FIRST_COMMAND_location tt; value
|
Completed in 169 milliseconds