Searched defs:seg (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Dclosures.c570 msegmentptr seg = segment_holding (gm, start); local
620 msegmentptr seg = segment_holding (gm, ptr); local
636 msegmentptr seg = segment_holding_code (gm, ptr); local
H A Ddlmalloc.c2087 msegment seg; member in struct:malloc_state
[all...]
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheory.sml817 val (seg as {thydata,...}) = theCT() value
[all...]

Completed in 55 milliseconds