Lines Matching refs:elfFile
12 BOOT_CODE bool_t elf_checkFile(Elf32_Header_t *elfFile)
15 elfFile->e_ident[0] == '\177' &&
16 elfFile->e_ident[1] == 'E' &&
17 elfFile->e_ident[2] == 'L' &&
18 elfFile->e_ident[3] == 'F' &&
19 elfFile->e_ident[4] == 1
23 BOOT_CODE v_region_t elf_getMemoryBounds(Elf32_Header_t *elfFile)
25 Elf32_Phdr_t *phdr = (Elf32_Phdr_t *)((paddr_t)elfFile + elfFile->e_phoff);
35 for (i = 0; i < elfFile->e_phnum; i++) {
51 BOOT_CODE void elf_load(Elf32_Header_t *elfFile, seL4_Word offset)
53 Elf32_Phdr_t *phdr = (Elf32_Phdr_t *)((paddr_t)elfFile + elfFile->e_phoff);
60 for (i = 0; i < elfFile->e_phnum; i++) {
61 src = (paddr_t)elfFile + phdr[i].p_offset;