Searched refs:segment (Results 1 - 16 of 16) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/elf/
H A Delf32.c41 /* 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 Delf64.c38 } /* 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 Delf32.c41 /* 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 Delf64.c38 } /* 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 Dmcfg.h18 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 Dmcfg.h18 uint16_t segment; member in struct:acpi_mcfg_desc
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/
H A Delf64.h28 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 Delf32.h28 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 Delf32.h28 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 Delf64.h28 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 Dacpi.c50 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 Dtraps.S357 # Reset segment selectors
501 # Reset segment selectors
540 # Reset segment selectors
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/
H A Dprinter.c224 printf("Segment 0x%04x\n", mcfg_desc->segment);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dprinter.c224 printf("Segment 0x%04x\n", mcfg_desc->segment);
/seL4-refos-master/projects/refos/design/
H A Dinterface.tex38 \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 Dprotocol.tex405 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.

Completed in 138 milliseconds