Searched refs:Struct (Results 1 - 9 of 9) sorted by last modified time

/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dapi.tex85 \newcommand{\tcbgetbreakpointtdesc}{Struct that contains
98 \newcommand{\tcbconfiguresinglesteppingtdesc}{Struct that contains
/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py75 - Struct blocks introduce aggregate types (e.g. struct in C).
83 The two kinds of lines that appear in Struct blocks illustrate this format:
84 Struct "struct name" <int size> <int alignment>
87 On notation: above we denote the specific tokens 'Struct' and 'StructField',
95 Struct blocks begin with the 'Struct' line, which specifies their name, total
98 the structure. The Struct block ends where any other Struct or Function block
147 Struct "struct name"
154 some type, a struct previously defined by a Struct claus
550 class Struct: class in inherits:
[all...]
H A Dobjdump.py49 from syntax import structs, fresh_name, Struct, mk_word32 namespace
96 struct = Struct (struct_name, (end - start) + 1, 1)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DSTRUCTVALSIG.sml109 Struct of
H A DSIGNATURES.sml622 fun structsAndTypes((Struct{signat=Signatures { tab, typeIdMap, ... }, ...}, path, oldMap), start) =
683 shareStructs(List.map(fn (s as Struct{name=sName, ...}) => (s, sName ^ ".", typeIdEnv())) structs)
987 checkAndEnter (#enterStruct structEnv, #lookupStruct structEnv, "Structure", fn Struct{locations, ...} => locations),
1168 and enterStruct(name, Struct{name=strName, signat, access, locations, ...}) =
1170 (name, Struct{ name = strName, signat = signat,
H A DDEBUGGER_.sml327 fun loadStruct (str as Struct { name, signat, locations, ...}, (decs, {staticEnv, dynEnv, lastLoc, ...})) =
H A DCOPIER.sml85 val Struct { signat = Signatures { tab, typeIdMap, ...}, ...} = tagProject structVar dVal value
165 val Struct { signat, name=structName, access, locations=structLocs, ...} = tagProject structVar dVal value
191 Struct { name = structName, signat = newSig, access = access, locations = structLocs}
295 Struct{access=Formal addr, ...} => Int.max(addr+1, m)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DTYPECHECK_PARSETREE.sml910 fun copyEntries (str as Struct{locations, signat = sigTbl, name=strName, ...}, varLoc) =
1084 (Formal addr, SOME(Struct{access, ...})) => Selected{base=access, addr=addr}
H A DEXPORT_PARSETREE.sml327 SOME(Struct{locations, ...}) => mapLocationProps locations

Completed in 84 milliseconds