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

/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DIntSet.sml68 val (tail, tailEq) = mergeLists(tlA, tlB) value
79 val (tail, tailEq) = mergeLists(tlA, listB) value
87 val (tail, tailEq) = mergeLists(listA, tlB) value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dslist.h48 voidSListElem *head, *tail; member in class:voidSList
179 T &tail(void) const { return *((T*)voidSList::tail->data); } function in class:SList
219 voidSList::tail = NULL; member in class:voidSList
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/
H A Dcapdl.c213 tcb_t *tail = (tcb_t *)endpoint_ptr_get_epQueue_tail((endpoint_t *)epptr); local
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dcapdl.c234 tcb_t *tail = (tcb_t *)endpoint_ptr_get_epQueue_tail((endpoint_t *)epptr); local
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_stepLib.sml1046 let fun tail [] n = n function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_pp.sml735 val tail = List.nth(args, 1) value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml2401 fun tail s = let val x = get s in case (!x) of [] => NONE | y::ys => (x := ys ; SOME ys) end function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp4554 T_List **tail; local
4647 T_List **tail; local
6421 Handle tail = 0; local
[all...]

Completed in 517 milliseconds