Searched refs:sections (Results 1 - 25 of 74) sorted by relevance

123

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Delfexport.cpp476 ElfXX_Shdr *sections = 0; local
535 sections = new ElfXX_Shdr[numSections];
536 memset(sections, 0, sizeof(ElfXX_Shdr) * numSections); // Necessary?
541 sections[sect_initial].sh_type = SHT_NULL;
542 sections[sect_initial].sh_link = SHN_UNDEF;
545 sections[sect_sectionnametable].sh_name = makeStringTableEntry(".shstrtab", &sectionStrings);
546 sections[sect_sectionnametable].sh_type = SHT_STRTAB;
547 sections[sect_sectionnametable].sh_addralign = sizeof(char);
548 // sections[sect_sectionnametable].sh_offset is set later
549 // sections[sect_sectionnametabl
[all...]
H A Dpecoffexport.cpp207 IMAGE_SECTION_HEADER *sections = 0; local
214 sections = new IMAGE_SECTION_HEADER [memTableEntries+1]; // Plus one for the tables.
235 memset(&sections[i], 0, sizeof(IMAGE_SECTION_HEADER));
236 sections[i].SizeOfRawData = (DWORD)memTable[i].mtLength;
237 sections[i].Characteristics = IMAGE_SCN_MEM_READ | IMAGE_SCN_ALIGN_8BYTES;
243 strcpy((char*)sections[i].Name, ".data");
244 sections[i].Characteristics |= IMAGE_SCN_MEM_WRITE | IMAGE_SCN_CNT_INITIALIZED_DATA;
251 strcpy((char*)sections[i].Name, ".text");
252 sections[i].Characteristics |= IMAGE_SCN_MEM_EXECUTE | IMAGE_SCN_CNT_CODE;
258 strcpy((char*)sections[
[all...]
H A Dmachoexport.cpp260 struct section_64 *sections = new section_64[memTableEntries+1]; local
265 struct section *sections = new section[memTableEntries+1]; local
310 // Add up the sections to give the file size
328 memset(&(sections[i]), 0, sectionSize);
334 sprintf(sections[i].sectname, "__data");
335 sprintf(sections[i].segname, "__DATA");
336 sections[i].flags = S_ATTR_LOC_RELOC | S_REGULAR;
342 sprintf(sections[i].sectname, "__text");
343 sprintf(sections[i].segname, "__TEXT");
344 sections[
[all...]
/seL4-l4v-master/graph-refine/
H A Dobjdump.py27 sections = {}
31 (start, end) = sections.get (section, (addr, addr))
34 sections[section] = (start, end)
36 return (syms, sections)
42 target_objects.sections.update (sects)
49 from target_objects import symbols, sections, trace namespace
57 if nm in sections:
58 act_rodata_ranges.append (sections[nm])
H A Dtarget_objects.py28 sections = {} variable
/seL4-l4v-master/graph-refine/example/
H A Dtarget.py8 from target_objects import symbols, sections, rodata, pairings, danger_set namespace
/seL4-l4v-master/graph-refine/loop-example/synth/
H A Dtarget.py8 from target_objects import symbols, sections, rodata, pairings, danger_set namespace
/seL4-l4v-master/graph-refine/loop-example/O1/
H A Dtarget.py8 from target_objects import symbols, sections, rodata, pairings, danger_set namespace
21 sections.update (lsects)
/seL4-l4v-master/graph-refine/loop-example/O2/
H A Dtarget.py8 from target_objects import symbols, sections, rodata, pairings, danger_set namespace
21 sections.update (lsects)
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DSpline.java61 Vector sections; field in class:Spline
74 sections=new Vector(10,10);
92 sections.addElement(s);
98 Enumeration e1=sections.elements();
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DSpline.java61 Vector sections; field in class:Spline
74 sections=new Vector(10,10);
92 sections.addElement(s);
98 Enumeration e1=sections.elements();
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DPortable.sig22 (* Marking critical sections of code. *)
H A DPortablePolyml.sml22 (* Marking critical sections of code. *)
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DPortable.sig22 (* Marking critical sections of code. *)
H A DPortablePolyml.sml22 (* Marking critical sections of code. *)
/seL4-l4v-master/isabelle/src/Pure/Isar/
H A Ddocument_structure.scala158 /* outer syntax sections */
172 val sections = new Sections(syntax.keywords)
175 sections.add(
179 sections.result()
183 /* ML sections */
193 val sections = new Sections(Keyword.Keywords.empty)
215 toks.foreach(tok => sections.add(new ML_Item(tok, if (tok.is_comment) level else None)))
217 toks.foreach(tok => sections.add(new ML_Item(tok, None)))
219 sections.add(nl)
222 sections
[all...]
/seL4-l4v-master/l4v/isabelle/src/Pure/Isar/
H A Ddocument_structure.scala158 /* outer syntax sections */
172 val sections = new Sections(syntax.keywords)
175 sections.add(
179 sections.result()
183 /* ML sections */
193 val sections = new Sections(Keyword.Keywords.empty)
215 toks.foreach(tok => sections.add(new ML_Item(tok, if (tok.is_comment) level else None)))
217 toks.foreach(tok => sections.add(new ML_Item(tok, None)))
219 sections.add(nl)
222 sections
[all...]
/seL4-l4v-master/graph-refine/seL4-example/
H A Dtarget.py8 from target_objects import symbols, sections, rodata, pairings namespace
/seL4-l4v-master/isabelle/src/Doc/Tutorial/document/
H A Dinductive0.tex13 context-free grammars. The first two sections are required reading for anybody
/seL4-l4v-master/isabelle/src/HOL/MicroJava/document/
H A Droot.tex41 the Isabelle theories in the following sections.
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/
H A Dinductive0.tex13 context-free grammars. The first two sections are required reading for anybody
/seL4-l4v-master/l4v/isabelle/src/HOL/MicroJava/document/
H A Droot.tex41 the Isabelle theories in the following sections.
/seL4-l4v-master/HOL4/help/src-sml/
H A DParseDoc.sml255 fun install_doc_part fname sections =
256 case sections of
259 | FIELD("DOC", [TEXT m]) :: ss => sections
264 fun install_structure_part fname sections = let
280 if not (has_struct_section sections) andalso length name_parts = 3
282 insert3 (FIELD("STRUCTURE", [TEXT (full (hd name_parts))])) sections
283 else sections
/seL4-l4v-master/HOL4/src/res_quan/Manual/
H A Dsummacs.tex94 % The parents and types sections are set in ttlist environment
97 % The constants and infix sections are set in typelist environment.
107 % The Axioms, definitions and theorems sections are set in thmlist environment
142 % \sec{section_name} marks the sections within a theory, e.g., Types, Theorems.
/seL4-l4v-master/HOL4/Manual/Reference/
H A Dpreface.tex28 % The theorems are listed in the second chapter, roughly grouped into sections

Completed in 108 milliseconds

123