Searched defs:ep (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/seL4/manual/parts/
H A Dipc.tex
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DenvTools.sml112 val ep = env_prefix state q' iet value
/seL4-l4v-master/seL4/src/machine/
H A Dcapdl.c203 void cap_ep_print_attrs(cap_t ep) argument
/seL4-l4v-master/seL4/src/object/
H A Dobjecttype.c778 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge, argument
787 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge, argument
H A Dcnode.c329 endpoint_t *ep = (endpoint_t *) local
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A DexportLib.sml69 val ep = tm |> rand |> numSyntax.int_of_term value
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml298 fun ep x = map fst o filter (curry op= x o snd) function
/seL4-l4v-master/HOL4/src/bool/
H A DboolScript.sml1591 val ep = mk_exists (x,P) value
1615 val ep = mk_exists(x,P) value

Completed in 98 milliseconds