Searched refs:header (Results 1 - 25 of 120) sorted by relevance

12345

/seL4-l4v-master/seL4/tools/
H A Dcircular_includes.py48 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 Dboot.c195 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 Dacpi.c23 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 Dcsv.scala26 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 Dcsv.scala26 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 Dbenchmark.py37 # 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 Dchannel.scala32 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 Dchannel.scala32 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 Dhfheader.sml10 val usefile = concat [holfoot_base_dir, mldir, "/header.sml"]
/seL4-l4v-master/isabelle/src/Pure/Thy/
H A Dthy_syntax.scala66 /** 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 Dthy_syntax.scala66 /** 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 Dlhs_pars.py662 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 Dresources.scala199 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 Dresources.scala199 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 Dtptp.lex52 %header (functor TPTPLexFun(structure Tokens: TPTP_TOKENS));
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dtptp.lex52 %header (functor TPTPLexFun(structure Tokens: TPTP_TOKENS));
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dboot.c276 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 Dsavestate.cpp146 // 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 Dboot.c404 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 Delf_parser.py14 #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 Dbootinfo_types.h105 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 Dacpi.h47 acpi_header_t header; member in struct:acpi_rsdt
/seL4-l4v-master/l4v/misc/git-commit-emails/
H A Dcommit-email.py32 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 DGetOpt.sig64 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 DGetOpt.sig67 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.

Completed in 136 milliseconds

12345