Searched defs:p_vaddr (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/kernel/ | ||
H A D | elf.h | 41 uint32_t p_vaddr; /* Reqd virtual address of segment when loading */ member in struct:Elf32_Phdr |
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/kernel/ | ||
H A D | elf.h | 40 uint64_t p_vaddr; member in struct:Elf64_Phdr |
Completed in 36 milliseconds