Home
last modified time | relevance | path

Searched refs:sect_end (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/arch/x86/32/kernel/
A Delf.c28 vptr_t sect_end; in elf_getMemoryBounds() local
38 sect_end = sect_start + phdr[i].p_memsz; in elf_getMemoryBounds()
42 if (sect_end > elf_reg.end) { in elf_getMemoryBounds()
43 elf_reg.end = sect_end; in elf_getMemoryBounds()
/seL4-master/src/arch/x86/64/kernel/
A Delf.c26 vptr_t sect_end; in elf_getMemoryBounds() local
36 sect_end = sect_start + phdr[i].p_memsz; in elf_getMemoryBounds()
40 if (sect_end > elf_reg.end) { in elf_getMemoryBounds()
41 elf_reg.end = sect_end; in elf_getMemoryBounds()

Completed in 2 milliseconds