/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | remquof.c | 40 goto end; 63 end:
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.h | 90 void* start, const void* end, int parent) 92 return add_region(region_list, new_region(type, start, end - start, parent)); 89 add_region_range(RegionList_t* region_list, region_type_t type, void* start, const void* end, int parent) argument
|
H A D | walker.c | 31 _sig_search(const char* sig, int sig_len, const char* loc, const char* end) argument 33 for (; loc < end; loc += SIG_SEARCH_STEP) { 84 acpi_sig_search(acpi_t *acpi, const char* sig, int sig_len, void* start, void* end) argument 90 while (start < end && !found) { 107 ZF_LOGD("Faied to find sig %s in range %p <-> %p\n", sig, start, end);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.h | 90 void* start, const void* end, int parent) 92 return add_region(region_list, new_region(type, start, end - start, parent)); 89 add_region_range(RegionList_t* region_list, region_type_t type, void* start, const void* end, int parent) argument
|
H A D | walker.c | 31 _sig_search(const char* sig, int sig_len, const char* loc, const char* end) argument 33 for (; loc < end; loc += SIG_SEARCH_STEP) { 84 acpi_sig_search(acpi_t *acpi, const char* sig, int sig_len, void* start, void* end) argument 90 while (start < end && !found) { 107 ZF_LOGD("Faied to find sig %s in range %p <-> %p\n", sig, start, end);
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | vspace.tex | 68 \end{tabularx} 83 \end{tabularx} 99 \end{tabularx} 113 \end{tabularx} 129 \end{tabularx} 144 \end{tabularx} 177 \end{tabularx} 192 \end{tabularx} 205 \end{tabularx} 214 \end{tabular [all...] |
H A D | bootup.tex | 63 \end{tabularx} 64 \end{center} 65 \end{table} 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. 115 \end{tabularx} 116 \end{center} 117 \end{table} 141 \end{tabula [all...] |
H A D | api.tex | 35 \end{tabularx} 36 \end{minipage} 37 \end{center} 124 \end{tabularx} 138 \end{tabularx} 151 \end{tabularx} 166 \end{tabularx} 179 \end{tabularx} 195 \end{tabularx} 208 \end{tabular [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 141 static int reserve_range_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end) argument 143 while (start < end) { 162 static int reserve_range_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end) argument 165 while (start < end) { 172 if (next_start > end) { 173 next_start = end; 213 static int reserve_range(vspace_t *vspace, uintptr_t start, uintptr_t end) argument 216 return reserve_range_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end); 432 for (uintptr_t page = res->start; page < res->end - 1; page += PAGE_SIZE_4K) {
|
H A D | vspace.c | 52 static int check_reservation_bounds(sel4utils_res_t *reservation, uintptr_t start, uintptr_t end) argument 55 end <= reservation->end; 59 uintptr_t end) 61 return check_reservation_bounds(reservation, start, end) && 62 is_reserved_range(top_level, start, end); 95 /* insert at the end */ 134 reservation->end = ROUND_UP(vaddr + bytes, PAGE_SIZE_4K); 139 error = reserve_entries_range(vspace, reservation->start, reservation->end, true); 242 if (vaddr >= current->start && vaddr < current->end) { 58 check_reservation(vspace_mid_level_t *top_level, sel4utils_res_t *reservation, uintptr_t start, uintptr_t end) argument [all...] |
/seL4-refos-master/libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 141 static int reserve_range_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end) argument 143 while (start < end) { 162 static int reserve_range_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end) argument 165 while (start < end) { 172 if (next_start > end) { 173 next_start = end; 213 static int reserve_range(vspace_t *vspace, uintptr_t start, uintptr_t end) argument 216 return reserve_range_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end); 432 for (uintptr_t page = res->start; page < res->end - 1; page += PAGE_SIZE_4K) {
|
H A D | vspace.c | 52 static int check_reservation_bounds(sel4utils_res_t *reservation, uintptr_t start, uintptr_t end) argument 55 end <= reservation->end; 59 uintptr_t end) 61 return check_reservation_bounds(reservation, start, end) && 62 is_reserved_range(top_level, start, end); 95 /* insert at the end */ 134 reservation->end = ROUND_UP(vaddr + bytes, PAGE_SIZE_4K); 139 error = reserve_entries_range(vspace, reservation->start, reservation->end, true); 242 if (vaddr >= current->start && vaddr < current->end) { 58 check_reservation(vspace_mid_level_t *top_level, sel4utils_res_t *reservation, uintptr_t start, uintptr_t end) argument [all...] |
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | fdt_sw.c | 325 fdt32_t *end; local 333 end = fdt_grab_space_(fdt, sizeof(*end)); 334 if (! end) 336 *end = cpu_to_fdt32(FDT_END);
|
/seL4-refos-master/kernel/include/arch/riscv/arch/ |
H A D | machine.h | 107 #endif /* end of !ENABLE_SMP_SUPPORT */ 247 void plat_cleanL2Range(paddr_t start, paddr_t end); 249 void plat_invalidateL2Range(paddr_t start, paddr_t end); 251 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);
|
/seL4-refos-master/kernel/src/arch/arm/machine/ |
H A D | l2c_310.c | 379 void plat_cleanL2Range(paddr_t start, paddr_t end) argument 386 start != L2_LINE_START(end + L2_LINE_SIZE); 395 void plat_invalidateL2Range(paddr_t start, paddr_t end) argument 405 start != L2_LINE_START(end + L2_LINE_SIZE); 414 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument 421 start != L2_LINE_START(end + L2_LINE_SIZE);
|
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | boot.c | 134 ui_v_reg.end = ui_info.p_reg.end - ui_info.pv_offset; 136 ipcbuf_vptr = ui_v_reg.end; 159 it_v_reg.end = ROUND_UP(extra_bi_frame_vptr + BIT(extra_bi_size_bits), PAGE_BITS); 190 .end = rootserver.extra_bi + BIT(extra_bi_size_bits) 243 padding_header.len = (extra_bi_region.end - extra_bi_region.start) - extra_bi_offset;
|
/seL4-refos-master/libs/libmuslc/src/prng/ |
H A D | random.c | 111 goto end; 119 end:
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/ |
H A D | lwip.c | 278 uintptr_t end = (uintptr_t)p->payload + p->len; local 279 while (loc < end) { 281 if (next > end) { 282 next = end; 367 uintptr_t end = (uintptr_t)q->payload + q->len; local 368 while (loc < end) { 370 if (next > end) { 371 next = end;
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | iommu_dma.c | 37 uintptr_t end = addr + size; local 38 for (uintptr_t addr = start; addr < end; addr += PAGE_SIZE_4K) { 64 uintptr_t end = (uintptr_t)vaddr + size; local 66 for (uintptr_t addr = start; addr < end; addr += PAGE_SIZE_4K) {
|
H A D | page_dma.c | 170 uintptr_t end = (uintptr_t)addr + size; local 172 while (cur < end) { 174 if (top > end) { 175 top = end;
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | iommu_dma.c | 37 uintptr_t end = addr + size; local 38 for (uintptr_t addr = start; addr < end; addr += PAGE_SIZE_4K) { 64 uintptr_t end = (uintptr_t)vaddr + size; local 66 for (uintptr_t addr = start; addr < end; addr += PAGE_SIZE_4K) {
|
H A D | page_dma.c | 170 uintptr_t end = (uintptr_t)addr + size; local 172 while (cur < end) { 174 if (top > end) { 175 top = end;
|
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | multiboot.h | 18 uint32_t end; member in struct:multiboot_module
|
/seL4-refos-master/kernel/include/object/ |
H A D | endpoint.h | 17 queue.end = (tcb_t *)endpoint_ptr_get_epQueue_tail(epptr);
|
/seL4-refos-master/kernel/include/arch/arm/arch/object/ |
H A D | vcpu.h | 146 static inline void vcpu_save_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument 148 for (word_t i = start; i <= end; i++) { 162 static inline void vcpu_restore_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument 164 for (word_t i = start; i <= end; i++) { 198 #else /* end of CONFIG_ARM_HYPERVISOR_SUPPORT */ 205 #endif /* end of !CONFIG_ARM_HYPERVISOR_SUPPORT */
|