Searched refs:region (Results 1 - 25 of 33) sorted by relevance

12

/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dpmem.h35 * Map a single pmem region.
38 * @param region to unmap,
43 static inline void *ps_pmem_map(ps_io_ops_t *ops, pmem_region_t region, bool cached, ps_mem_flags_t flags) argument
45 void *vaddr = ps_io_map(&ops->io_mapper, region.base_addr, region.length, cached, flags);
47 ZF_LOGE("Failed to map paddr %p length %" PRIu64 "\n", (void *) (uintptr_t) region.base_addr, region.length);
53 * Unmap a single pmem region.
56 * @param region to unmap,
60 static inline void ps_pmem_unmap(ps_io_ops_t *ops, pmem_region_t region, voi argument
[all...]
H A Dltimer.h80 * Populate a region structure with details of the nth pmem region this timer requires.
86 int (*get_nth_pmem)(void *data, size_t n, pmem_region_t *region);
/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dpmem.h21 pmem_region_t region; member in struct:__anon438
35 * @param max_length max length of region array
36 * @param region_list pointer to region array
/seL4-test-master/kernel/include/
H A Dbasic_types.h18 typedef struct region { struct
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dplatform_sift.py45 (False, ['region 0 is missing its start bound'])
47 (False, ['region 0 is missing its end bound'])
49 (False, ['region 0 is missing its start bound', 'region 0 is missing its end bound'])
51 (False, ['region start "foo" is not an integer', 'region 0 is missing its end bound'])
53 (False, ['region start "foo" is not an integer', 'region end "bar" is not an integer'])
55 (False, ['region bounds are not in strictly increasing order (1024 not > 2048)'])
59 (False, ['region bound
[all...]
H A Dshoehorn.py14 sufficiently-large memory region.
123 sufficiently-large memory region.
167 for region in platform['memory']:
169 marker = region['start']
170 debug_marker_set(marker, 'region {} start'.format(region_counter))
174 kernel_start = region['start']
188 ' ELF-loader in last (or only) region ({} of {}); overlap'
213 if (image_start_address + image_size) <= region['end']:
219 ' any memory region described in "{yaml}"'
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Delf.c44 sel4utils_elf_region_t region = regions[region_index]; local
45 size_t segment_size = region.size;
46 uintptr_t dst = (uintptr_t) region.elf_vstart;
70 * The reservation may belong to an adjacent region */
72 if (loadee_vaddr < region.reservation_vstart) {
73 // Have to use reservation from adjacent region
80 (region.reservation_vstart + region.reservation_size)) {
87 reservation = region.reservation;
90 /* We need to check if the frame has already been mapped by another region
365 sel4utils_elf_region_t *region = &regions[region_id]; local
[all...]
H A Dprocess.c407 sel4utils_elf_region_t *region = &regions[i]; local
408 region->reservation = vspace_reserve_range_at(vspace, region->elf_vstart,
409 region->size, region->rights, region->cacheable);
410 if (region->reservation.res == NULL) {
411 ZF_LOGE("Failed to create region\n");
574 ZF_LOGE("Failed to allocate memory for elf region information");
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dhpet.h42 /* Pointer to base address of memory mapped HPET region */
79 * @param[out] region to populate with details,
82 int hpet_parse_acpi(acpi_t *acpi, pmem_region_t *region);
H A Dtimer.h28 /* Initialise description functions for a HPET backed ltimer, providing the HPET region but
30 int ltimer_hpet_describe_with_region(ltimer_t *ltimer, ps_io_ops_t ops, pmem_region_t region, ps_irq_t *irq);
31 /* Initialise the description functions for a HPET based ltimer using the provided irq and region */
33 /* Initialise a hpet based ltimer using the provided irq and region */
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dguest_ram.c59 static void guest_ram_remove_region(vm_mem_t *guest_memory, int region) argument
61 if (region >= guest_memory->num_ram_regions) {
65 memmove(&guest_memory->ram_regions[region], &guest_memory->ram_regions[region + 1],
66 sizeof(vm_ram_region_t) * (guest_memory->num_ram_regions - region));
93 /* blindly put a new region at the end */
96 ZF_LOGE("Failed to expand guest ram region");
99 /* sort the region we just added */
112 /* We are within a ram region*/
157 ZF_LOGE("Failed to touch ram region
210 int region = -1; local
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dltimer.c40 pmem_region_t region; member in struct:__anon10::__anon11::__anon12
94 *pmem = pc99_ltimer->hpet.region;
275 ps_pmem_unmap(&pc99_ltimer->ops, pc99_ltimer->hpet.region, pc99_ltimer->hpet.config.vaddr);
320 pc99_ltimer->hpet.config.vaddr = ps_pmem_map(&ops, pc99_ltimer->hpet.region, false, PS_MEM_NORMAL);
380 int ltimer_hpet_init(ltimer_t *ltimer, ps_io_ops_t ops, ps_irq_t irq, pmem_region_t region, argument
383 int error = ltimer_hpet_describe(ltimer, ops, irq, region);
469 int ltimer_hpet_describe_with_region(ltimer_t *ltimer, ps_io_ops_t ops, pmem_region_t region, ps_irq_t *irq) argument
472 void *vaddr = ps_pmem_map(&ops, region, false, PS_MEM_NORMAL);
497 ps_pmem_unmap(&ops, region, vaddr);
498 return ltimer_hpet_describe(ltimer, ops, *irq, region);
526 ltimer_hpet_describe(ltimer_t *ltimer, ps_io_ops_t ops, ps_irq_t irq, pmem_region_t region) argument
[all...]
H A Dhpet.c271 int hpet_parse_acpi(acpi_t *acpi, pmem_region_t *region) argument
273 if (!acpi || !region) {
284 region->base_addr = header->base_address.address;
285 region->length = header->header.length;
/seL4-test-master/kernel/tools/hardware/utils/
H A Drule.py38 ''' wraps a contiguous region of memory that is mapped into the kernel. '''
40 def __init__(self, region: Region, kernel_name: str, page_bits: int, max_size: int, condition_macro: str = None, user_ok: bool = False):
42 self.desc = region.owner.path
45 self.labels = {} # dict of label => offset within region.
48 region.size = min(max_size, region.size)
49 aligned = region.align_size(page_bits)
53 self.labels[kernel_name] = region.base - aligned.base
68 ''' Get the #ifdef line for this region group '''
72 ''' Get the #endif line for this region grou
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dregions.c149 add_region(RegionList_t* region_list, const Region_t region) argument
153 region_list->regions[next_index] = region;
213 /* create new region */
216 /* adjust old region */
239 acpi_find_region(acpi_t *acpi, region_type_t region) argument
242 int index = find_region(regions, 0, region);
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dtimer.c92 int error = ltimer_get_nth_pmem(ltimer, n, &obj->region);
93 if (!error && obj->region.length > PAGE_SIZE_4K) {
95 (size_t) obj->region.length);
99 obj->region.length = PAGE_SIZE_4K;
101 error = vka_alloc_untyped_at(vka, seL4_PageBits, obj->region.base_addr,
/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dfdt.c38 pmem_region_t region; member in struct:index_helper_token
263 helper_token->region = pmem;
292 *ret_pmem = token.region;
/seL4-test-master/kernel/manual/parts/
H A Dbootup.tex85 which contains \texttt{start} and \texttt{end} slot CPTRs. It denotes a region
87 \texttt{end} being the CPTR of the first slot after the region ends, i.e.\
88 \texttt{end - 1} points to the last slot of the region.
121 is a region of extraLen bytes containing additional bootinfo structures. Each chunk starts
127 \texttt{extraBIPages} slot region gives the frames capabilities for the pages that make up
128 the additional boot info region.
171 the i-th untyped cap of the slot region \texttt{untyped}. Therefore, the array
204 will be described by the \texttt{ioSpaceCaps} slot region. The mapping of a
205 capability from this region to a specific SMMU is platform specific.
H A Dobjects.tex407 Reusing a region of memory is allowed only
422 For each \obj{Untyped Memory} region, the kernel keeps
423 a \emph{watermark} recording how much of the region has previously been
425 an untyped memory region, the kernel will carry out one of two actions:
426 if there are already existing objects allocated in the region, the
429 region have been deleted, the kernel will reset the watermark and start
430 allocating new objects from the beginning of the region again.
441 memory region. Thus, after this invocation there are no valid references
442 to any object within the untyped region, and the region ma
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/
H A Dacpi.h120 * @param region the type of region you want to find.
123 acpi_header_t *acpi_find_region(acpi_t *acpi, region_type_t region);
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c68 static int get_nth_pmem(void *data, size_t n, pmem_region_t *region) argument
71 *region = pmems[n];
/seL4-test-master/kernel/include/kernel/
H A Dboot.h15 * + 1: allow the kernel to release its own boot data region
79 seL4_SlotRegion region; member in struct:create_frames_of_region_ret
152 * virtual memory region v_reg, and any extra boot info. */
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dboot.c157 /* The region of the initial thread is the user image + ipcbuf and boot info */
265 /* create and map extra bootinfo region */
277 ndks_boot.bi_frame->extraBIPages = extra_bi_ret.region;
297 ndks_boot.bi_frame->userImageFrames = create_frames_ret.region;
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dboot.c87 /* optionally reserve the dtb region, as it could be empty */
245 /* The region of the initial thread is the user image + ipcbuf + boot info + extra */
308 /* create and map extra bootinfo region */
325 ndks_boot.bi_frame->extraBIPages = extra_bi_ret.region;
350 ndks_boot.bi_frame->userImageFrames = create_frames_ret.region;
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c976 Helper function that takes a region of device untyped and extracts it
1019 pmem_region_t *region = &state->regions[i]; local
1020 uint64_t region_end = region->base_addr + region->length;
1022 if (region->type == PMEM_TYPE_RAM && !(paddr >= region_end || ut_end <= region->base_addr)) {
1029 ZF_LOGD("\tPhysical Memory Region from %"PRIx64" size %"PRIx64" type %d", region->base_addr, region->length, region->type);
1035 if (paddr >= region
[all...]

Completed in 164 milliseconds

12