/seL4-test-master/projects/util_libs/libelf/src/ |
H A D | elf64.c | 86 /* 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 D | elf32.c | 86 /* 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 D | dsdt.h | 17 acpi_header_t header; member in struct:acpi_dsdt
|
H A D | ssdt.h | 17 acpi_header_t header; member in struct:acpi_ssdt
|
H A D | rsdt.h | 17 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 D | xsdt.h | 17 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 D | boot.h | 16 acpi_header_t header; member in struct:acpi_boot
|
H A D | einj.h | 17 acpi_header_t header; member in struct:acpi_einj
|
H A D | hest.h | 26 acpi_header_t header; member in struct:acpi_hest
|
H A D | hpet.h | 17 acpi_header_t header; member in struct:acpi_hpet
|
H A D | madt.h | 29 /* 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 D | erst.h | 26 acpi_header_t header; member in struct:acpi_erst 47 char* end = (char*)hdr + hdr->header.length;
|
H A D | mcfg.h | 25 acpi_header_t header; member in struct:acpi_mcfg 43 char* end = (char*)mcfg + mcfg->header.length;
|
H A D | bert.h | 27 acpi_header_t header; member in struct:acpi_bert
|
H A D | asf.h | 17 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 D | spmi.h | 17 acpi_header_t header; member in struct:acpi_spmi
|
H A D | dmar.h | 15 /* 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 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-test-master/tools/seL4/misc/ |
H A D | cpio-strip.c | 40 /* 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 D | walker.c | 46 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 D | memalign.c | 13 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 D | cpio.c | 94 /* 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 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-test-master/kernel/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-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | guest_image.c | 114 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...] |