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

123

/seL4-refos-master/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...]
/seL4-refos-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...]
/seL4-refos-master/libs/librefossys/src/refos-io/
H A Dmorecore.c74 /* Set the mmap allocator region. */
80 refosio_morecore_expand(sl_dataspace_t *region, size_t sizeAdd) argument
82 assert(region && region->dataspace && region->vaddr);
90 int error = data_expand(REFOS_PROCSERV_EP, region->dataspace, region->size + sizeAdd);
98 assert(region->window);
99 error = proc_resize_mem_window(region->window, region
[all...]
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/
H A Dmorecore.c74 /* Set the mmap allocator region. */
80 refosio_morecore_expand(sl_dataspace_t *region, size_t sizeAdd) argument
82 assert(region && region->dataspace && region->vaddr);
90 int error = data_expand(REFOS_PROCSERV_EP, region->dataspace, region->size + sizeAdd);
98 assert(region->window);
99 error = proc_resize_mem_window(region->window, region
[all...]
/seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/
H A Dpmem.h21 pmem_region_t region; member in struct:__anon633
35 * @param max_length max length of region array
36 * @param region_list pointer to region array
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dpmem.h21 pmem_region_t region; member in struct:__anon795
35 * @param max_length max length of region array
36 * @param region_list pointer to region array
/seL4-refos-master/kernel/include/
H A Dbasic_types.h18 typedef struct region { struct
/seL4-refos-master/seL4_tools/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-refos-master/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...]
/seL4-refos-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...]
/seL4-refos-master/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-refos-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-refos-master/libs/libplatsupport/src/plat/pc99/
H A Dltimer.c40 pmem_region_t region; member in struct:__anon9::__anon10::__anon11
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-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dltimer.c40 pmem_region_t region; member in struct:__anon22::__anon23::__anon24
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-refos-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-refos-master/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-refos-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-refos-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-refos-master/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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dsp_lev.h103 } region; typedef in typeref:struct:__anon708
149 region **regions;

Completed in 187 milliseconds

123