/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | pmem.h | 35 * 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 D | pmem.h | 35 * 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 D | morecore.c | 74 /* 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 D | morecore.c | 74 /* 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 D | pmem.h | 21 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 D | pmem.h | 21 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 D | basic_types.h | 18 typedef struct region { struct
|
/seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
H A D | platform_sift.py | 45 (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 D | shoehorn.py | 14 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 D | elf.c | 44 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 = ®ions[region_id]; local [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | elf.c | 44 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 = ®ions[region_id]; local [all...] |
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | hpet.h | 42 /* 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 D | timer.h | 28 /* 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 D | hpet.h | 42 /* 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 D | timer.h | 28 /* 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 D | ltimer.c | 40 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 D | hpet.c | 271 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 D | ltimer.c | 40 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 D | hpet.c | 271 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 D | rule.py | 38 ''' 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 D | regions.c | 149 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 D | regions.c | 149 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 D | timer.c | 92 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 D | timer.c | 92 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 D | sp_lev.h | 103 } region; typedef in typeref:struct:__anon708 149 region **regions;
|