Home
last modified time | relevance | path

Searched refs:end (Results 1 – 25 of 57) sorted by relevance

123

/seL4-master/
A Dgdb-macros13 end
40 end
56 end
60 end
76 end
80 end
84 end
88 end
101 end
105 end
[all …]
/seL4-master/src/arch/arm/machine/
A Dcache.c15 static void cleanCacheRange_PoC(vptr_t start, vptr_t end, paddr_t pstart) in cleanCacheRange_PoC() argument
35 cleanCacheRange_PoC(start, end, pstart); in cleanInvalidateCacheRange_RAM()
41 plat_cleanInvalidateL2Range(pstart, pstart + (end - start)); in cleanInvalidateCacheRange_RAM()
55 void cleanCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) in cleanCacheRange_RAM() argument
63 cleanCacheRange_PoC(start, end, pstart); in cleanCacheRange_RAM()
74 plat_cleanL2Range(pstart, pstart + (end - start)); in cleanCacheRange_RAM()
77 void cleanCacheRange_PoU(vptr_t start, vptr_t end, paddr_t pstart) in cleanCacheRange_PoU() argument
106 if (end + 1 != LINE_START(end + 1)) { in invalidateCacheRange_RAM()
107 line = LINE_START(end); in invalidateCacheRange_RAM()
119 plat_invalidateL2Range(pstart, pstart + (end - start)); in invalidateCacheRange_RAM()
[all …]
A Dl2c_nop.c13 void plat_cleanL2Range(paddr_t start, paddr_t end) {} in plat_cleanL2Range() argument
14 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} in plat_invalidateL2Range() argument
15 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range() argument
A Dl2c_310.c382 void plat_cleanL2Range(paddr_t start, paddr_t end) in plat_cleanL2Range() argument
389 start != L2_LINE_START(end + L2_LINE_SIZE); in plat_cleanL2Range()
398 void plat_invalidateL2Range(paddr_t start, paddr_t end) in plat_invalidateL2Range() argument
408 start != L2_LINE_START(end + L2_LINE_SIZE); in plat_invalidateL2Range()
417 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) in plat_cleanInvalidateL2Range() argument
424 start != L2_LINE_START(end + L2_LINE_SIZE); in plat_cleanInvalidateL2Range()
/seL4-master/src/arch/x86/kernel/
A Dboot_sys.c67 paddr_t end = boot_state.mem_p_regs.list[i].end; in find_load_paddr() local
92 if (v_reg.end == 0) { in load_boot_module()
96 v_reg.end = ROUND_UP(v_reg.end, PAGE_BITS); in load_boot_module()
99 v_reg.end - v_reg.start, in load_boot_module()
102 (void *)v_reg.end in load_boot_module()
131 boot_state.ui_info.p_reg.end in load_boot_module()
208 if (reg.end > PADDR_TOP) { in add_mem_p_regs()
211 reg.end = PADDR_TOP; in add_mem_p_regs()
397 boot_state.ki_p_reg.end, in try_boot_sys()
541 modules[i].end, in try_boot_sys_mbi1()
[all …]
A Dboot.c122 ui_v_reg.end = ui_info.p_reg.end - ui_info.pv_offset; in init_sys_state()
124 ipcbuf_vptr = ui_v_reg.end; in init_sys_state()
147 it_v_reg.end = ROUND_UP(extra_bi_frame_vptr + BIT(extra_bi_size_bits), PAGE_BITS); in init_sys_state()
181 .end = rootserver.extra_bi + BIT(extra_bi_size_bits) in init_sys_state()
234 padding_header.len = (extra_bi_region.end - extra_bi_region.start) - extra_bi_offset; in init_sys_state()
/seL4-master/src/kernel/
A Dboot.c32 ndks_boot.reserved[i - 1].end = ndks_boot.reserved[i].end; in merge_regions()
49 assert(reg.start <= reg.end); in reserve_region()
50 if (reg.start == reg.end) { in reserve_region()
63 ndks_boot.reserved[i].end = reg.end; in reserve_region()
101 assert(reg.start <= reg.end); in insert_region()
733 if (r->start > r->end) { in check_available_memory()
766 if (r->start > r->end) { in check_reserved_memory()
808 avail_reg[i].end = ceiling_kernel_window(avail_reg[i].end); in init_freemem()
835 avail_reg[a].start = MIN(avail_reg[a].end, reserved[r].end); in init_freemem()
845 if (avail_reg[a].end > reserved[r].end) { in init_freemem()
[all …]
/seL4-master/include/arch/arm/arch/
A Dmachine.h27 static inline void plat_cleanL2Range(paddr_t start, paddr_t end);
28 static inline void plat_invalidateL2Range(paddr_t start, paddr_t end);
29 static inline void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);
32 void cleanInvalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstart);
33 void cleanCacheRange_RAM(word_t start, word_t end, paddr_t pstart);
34 void cleanCacheRange_PoU(word_t start, word_t end, paddr_t pstart);
35 void invalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstart);
36 void invalidateCacheRange_I(word_t start, word_t end, paddr_t pstart);
37 void branchFlushRange(word_t start, word_t end, paddr_t pstart);
/seL4-master/include/
A Dbasic_types.h51 pptr_t end; member
56 paddr_t end; member
61 vptr_t end; member
64 #define REG_EMPTY (region_t){ .start = 0, .end = 0 }
65 #define P_REG_EMPTY (p_region_t){ .start = 0, .end = 0 }
A Dmachine.h41 p_reg.start + PPTR_BASE_OFFSET, p_reg.end + PPTR_BASE_OFFSET in paddr_to_pptr_reg()
48 reg.start - PPTR_BASE_OFFSET, reg.end - PPTR_BASE_OFFSET in pptr_to_paddr_reg()
/seL4-master/include/arch/arm/arch/machine/
A Dl2c_310.h20 void plat_cleanL2Range(paddr_t start, paddr_t end);
21 void plat_invalidateL2Range(paddr_t start, paddr_t end);
22 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);
/seL4-master/src/plat/omap3/machine/
A Dl2cache.c37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} in plat_cleanL2Range() argument
38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} in plat_invalidateL2Range() argument
39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range() argument
/seL4-master/src/plat/allwinnerA20/machine/
A Dl2cache.c37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} in plat_cleanL2Range() argument
38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} in plat_invalidateL2Range() argument
39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range() argument
/seL4-master/src/plat/am335x/machine/
A Dl2cache.c37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} in plat_cleanL2Range() argument
38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} in plat_invalidateL2Range() argument
39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range() argument
/seL4-master/src/arch/arm/kernel/
A Dboot.c46 reserved[0].end = (pptr_t)ki_end; in arch_init_freemem()
57 reserved[index].end = (pptr_t) paddr_to_pptr(dtb_p_reg.end); in arch_init_freemem()
77 if (ui_reg.end > mode_reserved_region[0].start) { in arch_init_freemem()
342 .end = ui_p_reg_end - pv_offset in try_init_kernel()
345 ipcbuf_vptr = ui_v_reg.end; in try_init_kernel()
391 .end = dtb_phys_end in try_init_kernel()
399 .end = extra_bi_frame_vptr + BIT(extra_bi_size_bits) in try_init_kernel()
401 if (it_v_reg.end >= USER_TOP) { in try_init_kernel()
408 it_v_reg.start, it_v_reg.end, (word_t)USER_TOP); in try_init_kernel()
459 ndks_boot.bi_frame->ioSpaceCaps.end == 0) { in try_init_kernel()
[all …]
/seL4-master/manual/parts/
A Dapi.tex19 \end{tabularx}
20 \end{minipage}
21 \end{center}
52 \end{center}
141 \end{tabularx}
155 \end{tabularx}
168 \end{tabularx}
183 \end{tabularx}
196 \end{tabularx}
212 \end{tabularx}
[all …]
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}
303 \end{table}
[all …]
A Dbootup.tex65 \end{tabularx}
66 \end{center}
67 \end{table}
118 \end{center}
119 \end{table}
143 \end{tabular}
144 \end{center}
145 \end{table}
197 \end{center}
198 \end{table}
[all …]
/seL4-master/include/kernel/
A Dboot.h36 return reg.start == reg.end; in is_reg_empty()
120 vptr_t end = ROUND_UP(v_reg.end, bits); in get_n_paging() local
121 return (end - start) / BIT(bits); in get_n_paging()
129 assert(rootserver.paging.start <= rootserver.paging.end); in it_alloc_paging()
/seL4-master/src/arch/riscv/kernel/
A Dboot.c63 res_reg[0].end = (pptr_t)paddr_to_pptr(kpptr_to_paddr((void *)ki_end)); in arch_init_freemem()
211 .end = ui_p_reg_end - pv_offset in try_init_kernel()
214 ipcbuf_vptr = ui_v_reg.end; in try_init_kernel()
255 .end = dtb_phys_end in try_init_kernel()
263 .end = extra_bi_frame_vptr + BIT(extra_bi_size_bits) in try_init_kernel()
265 if (it_v_reg.end >= USER_TOP) { in try_init_kernel()
272 it_v_reg.start, it_v_reg.end, (word_t)USER_TOP); in try_init_kernel()
337 .end = rootserver.extra_bi + extra_bi_size in try_init_kernel()
/seL4-master/src/arch/x86/32/kernel/
A Delf.c32 elf_reg.end = 0; in elf_getMemoryBounds()
42 if (sect_end > elf_reg.end) { in elf_getMemoryBounds()
43 elf_reg.end = sect_end; in elf_getMemoryBounds()
/seL4-master/src/arch/x86/64/kernel/
A Delf.c31 elf_reg.end = 0; in elf_getMemoryBounds()
40 if (sect_end > elf_reg.end) { in elf_getMemoryBounds()
41 elf_reg.end = sect_end; in elf_getMemoryBounds()
/seL4-master/tools/hardware/
A Dmemory.py50 def from_range(start, end, owner=None): argument
52 if start > end:
54 'invalid rage start (0x{:x}) > end (0x{:x})'.format(start > end))
55 return Region(start, end - start, owner)
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c494 vptr < it_v_reg.end; in create_it_address_space()
1481 end = start + size; in performVSpaceFlush()
1482 if (start < end) { in performVSpaceFlush()
1489 if (start < end) { in performVSpaceFlush()
1644 end = start + size; in performPageFlush()
1646 if (start < end) { in performPageFlush()
1652 if (start < end) { in performPageFlush()
1697 vptr_t start, end; in decodeARMVSpaceRootInvocation() local
1720 if (end <= start) { in decodeARMVSpaceRootInvocation()
2196 vptr_t start, end; in decodeARMFrameInvocation() local
[all …]
/seL4-master/include/arch/arm/arch/object/
A Dvcpu.h144 static inline void vcpu_save_reg_range(vcpu_t *vcpu, word_t start, word_t end) in vcpu_save_reg_range() argument
146 for (word_t i = start; i <= end; i++) { in vcpu_save_reg_range()
160 static inline void vcpu_restore_reg_range(vcpu_t *vcpu, word_t start, word_t end) in vcpu_restore_reg_range() argument
162 for (word_t i = start; i <= end; i++) { in vcpu_restore_reg_range()

Completed in 35 milliseconds

123