Searched refs:elfFile (Results 26 - 28 of 28) sorted by relevance

12

/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c165 data_mapping_t *elfFile = &selfloaderState.elfFileHeader; local
167 assert(elfFile->err == ESUCCESS && elfFile->vaddr != NULL);
187 error = data_init_data(fsSession->serverSession, elfSegment->dataspace, elfFile->dataspace,
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/
H A Delf32.h129 uint32_t elf32_getSectionAddr(struct Elf32_Header *elfFile, int i);
/seL4-refos-master/tools/elfloader/include/binaries/elf/
H A Delf32.h129 uint32_t elf32_getSectionAddr(struct Elf32_Header *elfFile, int i);

Completed in 273 milliseconds

12