/seL4-l4v-master/seL4/tools/ |
H A D | circular_includes.py | 48 header = match.group(2) 51 # found a new header 52 if header in file_stack: 55 print(header) 58 file_stack.append(header) 60 # popped back up to an earlier header 61 while file_stack[-1] != header:
|
/seL4-l4v-master/seL4/src/arch/x86/kernel/ |
H A D | boot.c | 195 vbe->header.id = SEL4_BOOTINFO_HEADER_X86_VBE; 196 vbe->header.len = sizeof(seL4_X86_BootInfo_VBE); 203 seL4_BootInfoHeader header; local 204 header.id = SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP; 205 header.len = sizeof(header) + sizeof(*acpi_rsdp); 206 *(seL4_BootInfoHeader *)(rootserver.extra_bi + extra_bi_offset) = header; 207 extra_bi_offset += sizeof(header); 214 seL4_BootInfoHeader header; local 215 header 231 seL4_BootInfoHeader header; local [all...] |
/seL4-l4v-master/seL4/src/plat/pc99/machine/ |
H A D | acpi.c | 23 acpi_header_t header; member in struct:acpi_dmar 47 acpi_dmar_header_t header; member in struct:acpi_dmar_drhd 72 acpi_dmar_header_t header; member in struct:acpi_dmar_rmrr 84 acpi_header_t header; member in struct:acpi_fadt 93 acpi_header_t header; member in struct:acpi_madt 114 acpi_madt_header_t header; member in struct:acpi_madt_apic 123 acpi_madt_header_t header; member in struct:acpi_madt_x2apic 133 acpi_madt_header_t header; member in struct:acpi_madt_ioapic 143 acpi_madt_header_t header; member in struct:acpi_madt_iso 193 /* if we need to map another page to read header */ [all...] |
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | csv.scala | 26 sealed case class File(name: String, header: List[String], records: List[Record]) 28 override def toString: String = (Record(header:_*) :: records).mkString("\r\n")
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | csv.scala | 26 sealed case class File(name: String, header: List[String], records: List[Record]) 28 override def toString: String = (Record(header:_*) :: records).mkString("\r\n")
|
/seL4-l4v-master/l4v/misc/benchmark-isabelle/ |
H A D | benchmark.py | 37 # Print header. 38 header = "%s Benchmark Results" % filename 40 print(header) 41 print("=" * len(header))
|
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/ |
H A D | channel.scala | 32 val header = new mutable.ListBuffer[String] 34 while ({ line = read_line(); line != "" }) header += line 35 header.toList 58 case header => error(cat_lines("Malformed header:" :: header)) 70 val header = UTF8.bytes("Content-Length: " + n + "\r\n\r\n") 74 out.write(header)
|
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/ |
H A D | channel.scala | 32 val header = new mutable.ListBuffer[String] 34 while ({ line = read_line(); line != "" }) header += line 35 header.toList 58 case header => error(cat_lines("Malformed header:" :: header)) 70 val header = UTF8.bytes("Content-Length: " + n + "\r\n\r\n") 74 out.write(header)
|
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/ |
H A D | hfheader.sml | 10 val usefile = concat [holfoot_base_dir, mldir, "/header.sml"]
|
/seL4-l4v-master/isabelle/src/Pure/Thy/ |
H A D | thy_syntax.scala | 66 /** header edits: graph structure and outer syntax **/ 79 case (name, Document.Node.Deps(header)) => 82 node.header.errors.nonEmpty || header.errors.nonEmpty || node.header != header 84 val node1 = node.update_header(header) 85 if (node.header.imports != node1.header.imports || 86 node.header [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/ |
H A D | thy_syntax.scala | 66 /** header edits: graph structure and outer syntax **/ 79 case (name, Document.Node.Deps(header)) => 82 node.header.errors.nonEmpty || header.errors.nonEmpty || node.header != header 84 val node1 = node.update_header(header) 85 if (node.header.imports != node1.header.imports || 86 node.header [all...] |
/seL4-l4v-master/l4v/tools/haskell-translator/ |
H A D | lhs_pars.py | 662 header = type_conv(bits[0].strip()) 663 d.typename = header 667 d.body = [('typedecl %s' % header, [])] 668 all_type_arities[header] = [] # HACK 674 return typename_transform(line, header, d) 677 return simple_newtype_transform(line, header, d) 679 return named_newtype_transform(line, header, d) 682 def typename_transform(line, header, d): 697 'type_synonym %s = "%s"' % (header, oldtype), 699 # "%s" <=(type) "%s"' % (oldtype, header) [all...] |
/seL4-l4v-master/isabelle/src/Pure/PIDE/ |
H A D | resources.scala | 199 val header = Thy_Header.read(reader, start, strict) 202 if (base_name != header.name) 203 error("Bad theory name " + quote(header.name) + 204 " for file " + thy_path(Path.basic(base_name)) + Position.here(header.pos) + 205 Completion.report_theories(header.pos, List(base_name))) 208 header.imports_pos.map({ case (s, pos) => 214 Document.Node.Header(imports_pos, header.keywords, header.abbrevs) 226 /* special header */ 323 val header [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/ |
H A D | resources.scala | 199 val header = Thy_Header.read(reader, start, strict) 202 if (base_name != header.name) 203 error("Bad theory name " + quote(header.name) + 204 " for file " + thy_path(Path.basic(base_name)) + Position.here(header.pos) + 205 Completion.report_theories(header.pos, List(base_name))) 208 header.imports_pos.map({ case (s, pos) => 214 Document.Node.Header(imports_pos, header.keywords, header.abbrevs) 226 /* special header */ 323 val header [all...] |
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/ |
H A D | tptp.lex | 52 %header (functor TPTPLexFun(structure Tokens: TPTP_TOKENS));
|
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ |
H A D | tptp.lex | 52 %header (functor TPTPLexFun(structure Tokens: TPTP_TOKENS));
|
/seL4-l4v-master/seL4/src/arch/riscv/kernel/ |
H A D | boot.c | 276 seL4_BootInfoHeader header; local 278 header.id = SEL4_BOOTINFO_HEADER_FDT; 279 header.len = extra_bi_size; 280 *(seL4_BootInfoHeader *)(rootserver.extra_bi + extra_bi_offset) = header; 281 extra_bi_offset += sizeof(header); 289 header.id = SEL4_BOOTINFO_HEADER_PADDING; 290 header.len = (extra_bi_size - extra_bi_offset); 291 *(seL4_BootInfoHeader *)(rootserver.extra_bi + extra_bi_offset) = header;
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | savestate.cpp | 146 // a general header file. 175 // File header for a saved state file. This appears as the first entry 183 unsigned headerLength; // Number of bytes in the header 645 // Write out the file header. 665 // Write out the header. 668 // We need a segment header for each permanent area whether it is 742 // Rewrite the header and the segment tables now they're complete. 1097 SavedStateHeader header; 1098 // Read the header and check the signature. 1099 if (fread(&header, sizeo [all...] |
/seL4-l4v-master/seL4/src/arch/arm/kernel/ |
H A D | boot.c | 404 seL4_BootInfoHeader header; local 406 header.id = SEL4_BOOTINFO_HEADER_FDT; 407 header.len = sizeof(header) + dtb_reg.end - dtb_reg.start; 408 *(seL4_BootInfoHeader *)(rootserver.extra_bi + extra_bi_offset) = header; 409 extra_bi_offset += sizeof(header); 417 header.id = SEL4_BOOTINFO_HEADER_PADDING; 418 header.len = (extra_bi_size - extra_bi_offset); 419 *(seL4_BootInfoHeader *)(rootserver.extra_bi + extra_bi_offset) = header;
|
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | elf_parser.py | 14 #skip the header 47 #ingore empty lines and the header 50 header = re.search('kernel\.elf:\s*file\s*format\s*elf32-littlearm',line) 52 if header != None or header2 != None:
|
/seL4-l4v-master/seL4/libsel4/arch_include/x86/sel4/arch/ |
H A D | bootinfo_types.h | 105 seL4_BootInfoHeader header; member in struct:_seL4_X86_BootInfo_VBE 126 seL4_BootInfoHeader header; member in struct:seL4_X86_BootInfo_mmap
|
/seL4-l4v-master/seL4/include/plat/pc99/plat/machine/ |
H A D | acpi.h | 47 acpi_header_t header; member in struct:acpi_rsdt
|
/seL4-l4v-master/l4v/misc/git-commit-emails/ |
H A D | commit-email.py | 32 import email.header namespace 115 # Ensure we only have unicode inputs, and that email addresses, header 124 for header in headers.keys(): 125 message[header] = email.header.Header(headers[header], "utf-8") 155 # Ensure we only have unicode inputs, and that email addresses, header
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | GetOpt.sig | 64 header : string, 67 (* takes a header string and a list of option descriptions and 69 * be added following the header, so it should not be newline terminated.
|
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/ |
H A D | GetOpt.sig | 67 header : string, 70 (* takes a header string and a list of option descriptions and 72 * be added following the header, so it should not be newline terminated.
|