Searched refs:elf_reg (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Delf.c34 v_region_t elf_reg; local
39 elf_reg.start = 0xffffffff;
40 elf_reg.end = 0;
47 if (sect_start < elf_reg.start) {
48 elf_reg.start = sect_start;
50 if (sect_end > elf_reg.end) {
51 elf_reg.end = sect_end;
56 return elf_reg;
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Delf.c32 v_region_t elf_reg; local
38 elf_reg.start = 0x7fffffffffffffffUL;
39 elf_reg.end = 0;
45 if (sect_start < elf_reg.start) {
46 elf_reg.start = sect_start;
48 if (sect_end > elf_reg.end) {
49 elf_reg.end = sect_end;
54 return elf_reg;

Completed in 35 milliseconds