/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/elf/ |
H A D | elf32.c | 41 /* Returns a pointer to the program segment table, which is an array of 140 elf32_getSegmentType (struct Elf32_Header *elfFile, int segment) argument 142 return elf32_getProgramSegmentTable(elfFile)[segment].p_type; 146 elf32_getSegmentInfo(struct Elf32_Header *elfFile, int segment, uint64_t *p_vaddr, uint64_t *p_addr, uint64_t *p_filesz, uint64_t *p_offset, uint64_t *p_memsz) argument 151 *p_addr = segments[segment].p_paddr; 152 *p_vaddr = segments[segment].p_vaddr; 153 *p_filesz = segments[segment].p_filesz; 154 *p_offset = segments[segment].p_offset; 155 *p_memsz = segments[segment].p_memsz;
|
H A D | elf64.c | 38 } /* unexpected size of program segment 54 * Returns a pointer to the program segment table, which is an array of 144 elf64_getSegmentType (void *elfFile, int segment) argument 146 return elf64_getProgramSegmentTable(elfFile)[segment].p_type; 150 elf64_getSegmentInfo(void *elfFile, int segment, uint64_t *p_vaddr, argument 157 *p_vaddr = segments[segment].p_vaddr; 158 *p_paddr = segments[segment].p_paddr; 159 *p_filesz = segments[segment].p_filesz; 160 *p_offset = segments[segment].p_offset; 161 *p_memsz = segments[segment] [all...] |
/seL4-refos-master/tools/elfloader/src/binaries/elf/ |
H A D | elf32.c | 41 /* Returns a pointer to the program segment table, which is an array of 140 elf32_getSegmentType (struct Elf32_Header *elfFile, int segment) argument 142 return elf32_getProgramSegmentTable(elfFile)[segment].p_type; 146 elf32_getSegmentInfo(struct Elf32_Header *elfFile, int segment, uint64_t *p_vaddr, uint64_t *p_addr, uint64_t *p_filesz, uint64_t *p_offset, uint64_t *p_memsz) argument 151 *p_addr = segments[segment].p_paddr; 152 *p_vaddr = segments[segment].p_vaddr; 153 *p_filesz = segments[segment].p_filesz; 154 *p_offset = segments[segment].p_offset; 155 *p_memsz = segments[segment].p_memsz;
|
H A D | elf64.c | 38 } /* unexpected size of program segment 54 * Returns a pointer to the program segment table, which is an array of 144 elf64_getSegmentType (void *elfFile, int segment) argument 146 return elf64_getProgramSegmentTable(elfFile)[segment].p_type; 150 elf64_getSegmentInfo(void *elfFile, int segment, uint64_t *p_vaddr, argument 157 *p_vaddr = segments[segment].p_vaddr; 158 *p_paddr = segments[segment].p_paddr; 159 *p_filesz = segments[segment].p_filesz; 160 *p_offset = segments[segment].p_offset; 161 *p_memsz = segments[segment] [all...] |
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | mcfg.h | 18 uint16_t segment; member in struct:acpi_mcfg_desc
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | mcfg.h | 18 uint16_t segment; member in struct:acpi_mcfg_desc
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/ |
H A D | elf64.h | 28 uint16_t e_phentsize; /* Size of one program segment 30 uint16_t e_phnum; /* Number of program segment 59 uint32_t p_type; /* Segment type: Loadable segment = 1 */ 62 uint64_t p_offset; /* Offset of segment in file */ 63 uint64_t p_vaddr; /* Reqd virtual address of segment 66 * segment */ 67 uint64_t p_filesz; /* How many bytes this segment 69 uint64_t p_memsz; /* How many bytes this segment 71 * * loading, expand the segment 74 uint64_t p_align; /* Reqd alignment of segment i [all...] |
H A D | elf32.h | 28 uint16_t e_phentsize; /* Size of one program segment 30 uint16_t e_phnum; /* Number of program segment 59 uint32_t p_type; /* Segment type: Loadable segment = 1 */ 60 uint32_t p_offset; /* Offset of segment in file */ 61 uint32_t p_vaddr; /* Reqd virtual address of segment 64 * segment (ignore) */ 65 uint32_t p_filesz; /* How many bytes this segment 67 uint32_t p_memsz; /* How many bytes this segment 69 * * loading, expand the segment 74 uint32_t p_align; /* Reqd alignment of segment i [all...] |
/seL4-refos-master/tools/elfloader/include/binaries/elf/ |
H A D | elf32.h | 28 uint16_t e_phentsize; /* Size of one program segment 30 uint16_t e_phnum; /* Number of program segment 59 uint32_t p_type; /* Segment type: Loadable segment = 1 */ 60 uint32_t p_offset; /* Offset of segment in file */ 61 uint32_t p_vaddr; /* Reqd virtual address of segment 64 * segment (ignore) */ 65 uint32_t p_filesz; /* How many bytes this segment 67 uint32_t p_memsz; /* How many bytes this segment 69 * * loading, expand the segment 74 uint32_t p_align; /* Reqd alignment of segment i [all...] |
H A D | elf64.h | 28 uint16_t e_phentsize; /* Size of one program segment 30 uint16_t e_phnum; /* Number of program segment 59 uint32_t p_type; /* Segment type: Loadable segment = 1 */ 62 uint64_t p_offset; /* Offset of segment in file */ 63 uint64_t p_vaddr; /* Reqd virtual address of segment 66 * segment */ 67 uint64_t p_filesz; /* How many bytes this segment 69 uint64_t p_memsz; /* How many bytes this segment 71 * * loading, expand the segment 74 uint64_t p_align; /* Reqd alignment of segment i [all...] |
/seL4-refos-master/kernel/src/plat/pc99/machine/ |
H A D | acpi.c | 50 uint16_t segment; member in struct:acpi_dmar_drhd 74 uint16_t segment; member in struct:acpi_dmar_rmrr
|
/seL4-refos-master/kernel/src/arch/x86/32/ |
H A D | traps.S | 357 # Reset segment selectors 501 # Reset segment selectors 540 # Reset segment selectors
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | printer.c | 224 printf("Segment 0x%04x\n", mcfg_desc->segment);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | printer.c | 224 printf("Segment 0x%04x\n", mcfg_desc->segment);
|
/seL4-refos-master/projects/refos/design/ |
H A D | interface.tex | 38 \item[\obj{memwindow}] is an object that represents an address space range (i.e. a memory window) segment in a process's virtual memory. If something has access to a memory window object, it may perform operations on the memory window object such as mapping the memory window to a dataspace and mapping a frame into the memory window. 70 Create a new memory window segment for the calling client. Note that clients may only create memory windows for their own address space and alignment restrictions may apply here due to implementation and/or hardware restrictions. In the \refOS client environment, a valid memory window segment must be covering any virtual address ranges before any mapping can be performed (including dataspace and device frame mappings). 80 Resize a memory window segment. This is an optional feature, which may be useful for implementing dynamic heap memory allocation on clients. 87 Delete a memory window segment.
|
H A D | protocol.tex | 405 A memory window should bookkeep its state, which vspace it belongs to, where and how long the memory segment is and the state of the memory window's contents. A memory window may be unmapped or mapped to a dataspace, and that dataspace may or may not be content initialised. In \refOS, the process server is the anonymous memory dataserver, so in \refOS the memory window data structure has extra bookkeeping information for the internal anonymous dataspace mapping state. Also, \refOS separates the memory window's size and offset into multiple windows. 462 A userland dataspace mapping data strucure must bookkeep its window, dataspace and session and the virtual address and size of the memory window segment.
|