/seL4-test-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...] |
H A D | ltimer.h | 80 * 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 D | pmem.h | 21 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 D | basic_types.h | 18 typedef struct region { struct
|
/seL4-test-master/tools/seL4/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-test-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...] |
H A D | process.c | 407 sel4utils_elf_region_t *region = ®ions[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 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-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
H A D | guest_ram.c | 59 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 D | ltimer.c | 40 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 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-test-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-test-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-test-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-test-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 38 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 D | bootup.tex | 85 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 D | objects.tex | 407 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 D | acpi.h | 120 * @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 D | ltimer.c | 68 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 D | boot.h | 15 * + 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 D | boot.c | 157 /* 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 D | boot.c | 87 /* 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 D | bootstrap.c | 976 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...] |