/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | elfexport.cpp | 476 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", §ionStrings); 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 D | pecoffexport.cpp | 207 IMAGE_SECTION_HEADER *sections = 0; local 214 sections = new IMAGE_SECTION_HEADER [memTableEntries+1]; // Plus one for the tables. 235 memset(§ions[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 D | machoexport.cpp | 260 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 D | objdump.py | 27 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 D | target_objects.py | 28 sections = {} variable
|
/seL4-l4v-master/graph-refine/example/ |
H A D | target.py | 8 from target_objects import symbols, sections, rodata, pairings, danger_set namespace
|
/seL4-l4v-master/graph-refine/loop-example/synth/ |
H A D | target.py | 8 from target_objects import symbols, sections, rodata, pairings, danger_set namespace
|
/seL4-l4v-master/graph-refine/loop-example/O1/ |
H A D | target.py | 8 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 D | target.py | 8 from target_objects import symbols, sections, rodata, pairings, danger_set namespace 21 sections.update (lsects)
|
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | Spline.java | 61 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 D | Spline.java | 61 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 D | Portable.sig | 22 (* Marking critical sections of code. *)
|
H A D | PortablePolyml.sml | 22 (* Marking critical sections of code. *)
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Portable.sig | 22 (* Marking critical sections of code. *)
|
H A D | PortablePolyml.sml | 22 (* Marking critical sections of code. *)
|
/seL4-l4v-master/isabelle/src/Pure/Isar/ |
H A D | document_structure.scala | 158 /* 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 D | document_structure.scala | 158 /* 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 D | target.py | 8 from target_objects import symbols, sections, rodata, pairings namespace
|
/seL4-l4v-master/isabelle/src/Doc/Tutorial/document/ |
H A D | inductive0.tex | 13 context-free grammars. The first two sections are required reading for anybody
|
/seL4-l4v-master/isabelle/src/HOL/MicroJava/document/ |
H A D | root.tex | 41 the Isabelle theories in the following sections.
|
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/ |
H A D | inductive0.tex | 13 context-free grammars. The first two sections are required reading for anybody
|
/seL4-l4v-master/l4v/isabelle/src/HOL/MicroJava/document/ |
H A D | root.tex | 41 the Isabelle theories in the following sections.
|
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | ParseDoc.sml | 255 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 D | summacs.tex | 94 % 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 D | preface.tex | 28 % The theorems are listed in the second chapter, roughly grouped into sections
|