Searched refs:end (Results 101 - 125 of 187) sorted by relevance

12345678

/seL4-refos-master/libs/libmuslc/src/math/
H A Dremquof.c40 goto end;
63 end:
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/
H A Dregions.h90 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 Dwalker.c31 _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 Dregions.h90 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 Dwalker.c31 _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 Dvspace.tex68 \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 Dbootup.tex63 \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 Dapi.tex35 \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 Dbootstrap.c141 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 Dvspace.c52 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 Dbootstrap.c141 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 Dvspace.c52 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 Dfdt_sw.c325 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 Dmachine.h107 #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 Dl2c_310.c379 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 Dboot.c134 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 Drandom.c111 goto end;
119 end:
/seL4-refos-master/projects/util_libs/libethdrivers/src/
H A Dlwip.c278 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 Diommu_dma.c37 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 Dpage_dma.c170 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 Diommu_dma.c37 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 Dpage_dma.c170 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 Dmultiboot.h18 uint32_t end; member in struct:multiboot_module
/seL4-refos-master/kernel/include/object/
H A Dendpoint.h17 queue.end = (tcb_t *)endpoint_ptr_get_epQueue_tail(epptr);
/seL4-refos-master/kernel/include/arch/arm/arch/object/
H A Dvcpu.h146 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 */

Completed in 330 milliseconds

12345678