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

12

/seL4-test-master/projects/util_libs/libelf/src/
H A Delf64.c86 /* ELF header functions */
94 return -1; /* file smaller than ELF header */
101 Elf64_Ehdr *header = elf->elfFile; local
102 if (header->e_ident[EI_CLASS] != ELFCLASS64) {
106 if (header->e_phentsize != sizeof(Elf64_Phdr)) {
107 return -1; /* unexpected program header size */
110 if (header->e_shentsize != sizeof(Elf64_Shdr)) {
111 return -1; /* unexpected section header size */
114 if (header->e_shstrndx >= header
124 Elf64_Ehdr *header = elf->elfFile; local
135 Elf64_Ehdr *header = elf->elfFile; local
[all...]
H A Delf32.c86 /* ELF header functions */
90 return -1; /* file smaller than ELF header */
97 Elf32_Ehdr *header = elf->elfFile; local
98 if (header->e_ident[EI_CLASS] != ELFCLASS32) {
102 if (header->e_phentsize != sizeof(Elf32_Phdr)) {
103 return -1; /* unexpected program header size */
106 if (header->e_shentsize != sizeof(Elf32_Shdr)) {
107 return -1; /* unexpected section header size */
110 if (header->e_shstrndx >= header
120 Elf32_Ehdr *header = elf->elfFile; local
131 Elf32_Ehdr *header = elf->elfFile; local
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Ddsdt.h17 acpi_header_t header; member in struct:acpi_dsdt
H A Dssdt.h17 acpi_header_t header; member in struct:acpi_ssdt
H A Drsdt.h17 acpi_header_t header; member in struct:acpi_rsdt
28 return (t->header.length - sizeof(*t)) / sizeof(uint32_t);
43 char* end = (char*)hdr + hdr->header.length;
H A Dxsdt.h17 acpi_header_t header; member in struct:acpi_xsdt
28 return (t->header.length - sizeof(*t)) / sizeof(uint64_t);
43 char* end = (char*)hdr + hdr->header.length;
H A Dboot.h16 acpi_header_t header; member in struct:acpi_boot
H A Deinj.h17 acpi_header_t header; member in struct:acpi_einj
H A Dhest.h26 acpi_header_t header; member in struct:acpi_hest
H A Dhpet.h17 acpi_header_t header; member in struct:acpi_hpet
H A Dmadt.h29 /* interrupt control structure header */
37 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_local_apic
45 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_ioapic
54 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_override
63 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_nmi
70 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_locnmi
78 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_locoverride
85 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_sapic
94 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_locsapic
107 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_platformis
119 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_locx2apic
128 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_locx2apicnmi
137 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_gic
149 acpi_madt_ics_hdr_t header; member in struct:acpi_madt_gicdist
159 acpi_header_t header; member in struct:acpi_madt
[all...]
H A Derst.h26 acpi_header_t header; member in struct:acpi_erst
47 char* end = (char*)hdr + hdr->header.length;
H A Dmcfg.h25 acpi_header_t header; member in struct:acpi_mcfg
43 char* end = (char*)mcfg + mcfg->header.length;
H A Dbert.h27 acpi_header_t header; member in struct:acpi_bert
H A Dasf.h17 acpi_header_t header; member in struct:acpi_asf_hdr
38 acpi_asf_rec_hdr_t header; member in struct:acpi_asf_info
62 acpi_asf_rec_hdr_t header; member in struct:acpi_asf_alrt
77 acpi_asf_rec_hdr_t header; member in struct:acpi_asf_rctl
84 acpi_asf_rec_hdr_t header; member in struct:acpi_asf_rmcp
99 acpi_asf_rec_hdr_t header; member in struct:acpi_asf_addr
141 char* end = (char*)h + h->header.length;
163 char* end = (char*)h + h->header.length;
187 char* end = (char*)h + h->header.length;
H A Dspmi.h17 acpi_header_t header; member in struct:acpi_spmi
H A Ddmar.h15 /* Generic entry header */
23 acpi_header_t header; member in struct:acpi_dmar_hdr
77 acpi_dmar_remap_hdr_t header; member in struct:acpi_dmar_rmrr
88 acpi_dmar_remap_hdr_t header; member in struct:acpi_dmar_drhd
99 acpi_dmar_remap_hdr_t header; member in struct:acpi_dmar_atsr
109 acpi_dmar_remap_hdr_t header; member in struct:acpi_dmar_rhsa
121 /* Retrieve the header of the first entry */
128 /* Retrieve the next DMAR sub header */
134 void* end = (uint8_t*)tbl + tbl->header.length;
142 /* Retrieve the DMAR sub header locate
[all...]
/seL4-test-master/kernel/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-test-master/tools/seL4/misc/
H A Dcpio-strip.c40 /* Find the pointer to a CPIO entry header from a pointer to the entry's data.
112 /* Reverse the data pointer to a header pointer. */
113 struct cpio_header *header = get_header(data, filename); local
114 assert((uintptr_t)header % CPIO_ALIGNMENT == 0);
121 snprintf(header->c_ino, sizeof(header->c_ino), "%08x", inode);
124 memset(header->c_uid, 0, sizeof(header->c_uid));
125 memset(header->c_gid, 0, sizeof(header
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dwalker.c46 acpi_header_t *header = (acpi_header_t *) ps_io_map(&acpi->io_mapper, local
49 if (header == NULL) {
51 assert(header != NULL);
55 size_t length = acpi_table_length(header);
57 ZF_LOGD("Skipping table %s, unknown\n", header->signature);
58 ps_io_unmap(&acpi->io_mapper, (void *) header, sizeof(acpi_header_t));
63 if (!SAME_PAGE_4K(header, ((void *) header) + length)) {
64 ps_io_unmap(&acpi->io_mapper, (void *) header, sizeof(acpi_header_t));
65 header
78 acpi_unmap_table(acpi_t *acpi, acpi_header_t *header) argument
160 acpi_header_t* header; local
[all...]
/seL4-test-master/projects/musllibc/src/malloc/
H A Dmemalign.c13 size_t header, footer; local
37 header = ((size_t *)mem)[-1];
39 if (!(header & 7)) {
45 end = mem + (header & -8);
48 ((size_t *)mem)[-1] = header&7 | new-mem;
50 ((size_t *)new)[-1] = header&7 | end-new;
/seL4-test-master/projects/util_libs/libcpio/src/
H A Dcpio.c94 /* Calculate the remaining length in a CPIO file after reading a header. */
104 * Parse the header of the given CPIO entry.
106 * Return -1 if the header is not valid, 1 if it is EOF.
117 /* Ensure header is accessible */
122 /* Ensure magic header exists. */
131 /* Ensure header + filename + file contents are accessible */
173 struct cpio_header *header = archive; local
178 int error = cpio_parse_header(header, len, &header_info);
182 len = cpio_len_next(len, header, header_info.next);
183 header
205 struct cpio_header *header = archive; local
228 struct cpio_header *header; local
260 struct cpio_header *header; local
[all...]
/seL4-test-master/kernel/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-test-master/kernel/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-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/
H A Dguest_image.c114 static int get_guest_image_type(const char *image_name, enum img_type *image_type, Elf64_Ehdr *header) argument
124 size_t len = read(fd, header, sizeof(*header));
125 if (len != sizeof(*header)) {
130 *image_type = image_get_type(header);
203 Elf64_Ehdr header = {0}; local
204 err = get_guest_image_type(kernel_image_name, &ret_file_type, &header);
220 load_addr = zImage_get_load_address(&header, load_base_addr);
238 Elf64_Ehdr header = {0}; local
239 err = get_guest_image_type(image_name, &ret_file_type, &header);
[all...]

Completed in 277 milliseconds

12