Searched refs:Struct (Results 1 - 9 of 9) sorted by last modified time
/seL4-l4v-10.1.1/seL4/manual/parts/ |
H A D | api.tex | 85 \newcommand{\tcbgetbreakpointtdesc}{Struct that contains 98 \newcommand{\tcbconfiguresinglesteppingtdesc}{Struct that contains
|
/seL4-l4v-10.1.1/graph-refine/ |
H A D | syntax.py | 75 - 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 D | objdump.py | 49 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 D | STRUCTVALSIG.sml | 109 Struct of
|
H A D | SIGNATURES.sml | 622 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 D | DEBUGGER_.sml | 327 fun loadStruct (str as Struct { name, signat, locations, ...}, (decs, {staticEnv, dynEnv, lastLoc, ...})) =
|
H A D | COPIER.sml | 85 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 D | TYPECHECK_PARSETREE.sml | 910 fun copyEntries (str as Struct{locations, signat = sigTbl, name=strName, ...}, varLoc) = 1084 (Formal addr, SOME(Struct{access, ...})) => Selected{base=access, addr=addr}
|
H A D | EXPORT_PARSETREE.sml | 327 SOME(Struct{locations, ...}) => mapLocationProps locations
|
Completed in 84 milliseconds