Home
last modified time | relevance | path

Searched refs:start (Results 1 – 25 of 55) sorted by relevance

123

/seL4-master/src/arch/arm/machine/
A Dcache.c22 cleanByVA(line, pstart + (line - start)); in cleanCacheRange_PoC()
35 cleanCacheRange_PoC(start, end, pstart); in cleanInvalidateCacheRange_RAM()
49 cleanInvalByVA(line, pstart + (line - start)); in cleanInvalidateCacheRange_RAM()
63 cleanCacheRange_PoC(start, end, pstart); in cleanCacheRange_RAM()
74 plat_cleanL2Range(pstart, pstart + (end - start)); in cleanCacheRange_RAM()
89 cleanByVA_PoU(line, pstart + (line - start)); in cleanCacheRange_PoU()
103 if (start != LINE_START(start)) { in invalidateCacheRange_RAM()
104 cleanCacheRange_RAM(start, start, pstart); in invalidateCacheRange_RAM()
129 invalidateByVA(line, pstart + (line - start)); in invalidateCacheRange_RAM()
154 invalidateByVA_I(line, pstart + (line - start)); in invalidateCacheRange_I()
[all …]
A Dl2c_310.c382 void plat_cleanL2Range(paddr_t start, paddr_t end) in plat_cleanL2Range() argument
388 for (start = L2_LINE_START(start); in plat_cleanL2Range()
390 start += L2_LINE_SIZE) { in plat_cleanL2Range()
391 l2cc->maintenance.clean_pa = start; in plat_cleanL2Range()
407 for (start = L2_LINE_START(start); in plat_invalidateL2Range()
409 start += L2_LINE_SIZE) { in plat_invalidateL2Range()
410 l2cc->maintenance.inv_pa = start; in plat_invalidateL2Range()
423 for (start = L2_LINE_START(start); in plat_cleanInvalidateL2Range()
425 start += L2_LINE_SIZE) { in plat_cleanInvalidateL2Range()
427 l2cc->maintenance.clean_pa = start; in plat_cleanInvalidateL2Range()
[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
/seL4-master/src/kernel/
A Dboot.c49 assert(reg.start <= reg.end); in reserve_region()
50 if (reg.start == reg.end) { in reserve_region()
58 ndks_boot.reserved[i].start = reg.start; in reserve_region()
189 rootserver_mem.start = start; in create_rootserver_objects()
640 paddr_t start = 0; in create_untypeds() local
642 if (start < ndks_boot.reserved[i].start) { in create_untypeds()
644 start, ndks_boot.reserved[i].start in create_untypeds()
809 avail_reg[i].start = ceiling_kernel_window(avail_reg[i].start); in init_freemem()
832 if (reserved[r].start <= avail_reg[a].start) { in init_freemem()
904 && start >= ndks_boot.freemem[i].start) { in init_freemem()
[all …]
/seL4-master/src/arch/x86/kernel/
A Dboot_sys.c66 paddr_t start = MAX(min_paddr, boot_state.mem_p_regs.list[i].start); in find_load_paddr() local
68 word_t region_size = end - start; in find_load_paddr()
71 return start; in find_load_paddr()
99 v_reg.end - v_reg.start, in load_boot_module()
101 (void *)v_reg.start, in load_boot_module()
470 ui_p_regs.start, in try_boot_sys()
473 memcpy((void *)ui_p_regs.start, (void *)mods_end_paddr, ui_p_regs.end - ui_p_regs.start); in try_boot_sys()
476 boot_state.ui_info.p_reg.start -= mods_end_paddr - ui_p_regs.start; in try_boot_sys()
540 modules[i].start, in try_boot_sys_mbi1()
577 avail.start = HIGHMEM_PADDR; in try_boot_sys_mbi1()
[all …]
A Dboot.c78 ui_p_reg.start = KERNEL_ELF_PADDR_BASE; in arch_init_freemem()
121 ui_v_reg.start = ui_info.p_reg.start - ui_info.pv_offset; in init_sys_state()
146 it_v_reg.start = ui_v_reg.start; in init_sys_state()
180 .start = rootserver.extra_bi, in init_sys_state()
225 *(seL4_BootInfoHeader *)(extra_bi_region.start + extra_bi_offset) = header; in init_sys_state()
227 *(uint32_t *)(extra_bi_region.start + extra_bi_offset) = tsc_freq; in init_sys_state()
234 padding_header.len = (extra_bi_region.end - extra_bi_region.start) - extra_bi_offset; in init_sys_state()
235 *(seL4_BootInfoHeader *)(extra_bi_region.start + extra_bi_offset) = padding_header; in init_sys_state()
263 pptr_to_paddr((void *)(extra_bi_region.start - extra_bi_frame_vptr)) in init_sys_state()
/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.h50 pptr_t start; member
55 paddr_t start; member
60 vptr_t start; 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()
A Dbootinfo.h17 #define S_REG_EMPTY (seL4_SlotRegion){ .start = 0, .end = 0 }
/seL4-master/include/kernel/
A Dboot.h36 return reg.start == reg.end; in is_reg_empty()
119 vptr_t start = ROUND_DOWN(v_reg.start, bits); in get_n_paging() local
121 return (end - start) / BIT(bits); in get_n_paging()
127 pptr_t allocated = rootserver.paging.start; in it_alloc_paging()
128 rootserver.paging.start += BIT(seL4_PageTableBits); in it_alloc_paging()
129 assert(rootserver.paging.start <= rootserver.paging.end); in it_alloc_paging()
/seL4-master/src/arch/arm/kernel/
A Dboot.c45 reserved[0].start = KERNEL_ELF_BASE; in arch_init_freemem()
51 if (dtb_p_reg.start) { in arch_init_freemem()
56 reserved[index].start = (pptr_t) paddr_to_pptr(dtb_p_reg.start); in arch_init_freemem()
69 if (ui_p_reg.start < PADDR_TOP) { in arch_init_freemem()
77 if (ui_reg.end > mode_reserved_region[0].start) { in arch_init_freemem()
341 .start = ui_p_reg_start - pv_offset, in try_init_kernel()
390 .start = dtb_phys_addr, in try_init_kernel()
398 .start = ui_v_reg.start, in try_init_kernel()
408 it_v_reg.start, it_v_reg.end, (word_t)USER_TOP); in try_init_kernel()
458 if (ndks_boot.bi_frame->ioSpaceCaps.start == 0 && in try_init_kernel()
[all …]
/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/riscv/kernel/
A Dboot.c62 res_reg[0].start = (pptr_t)paddr_to_pptr(kpptr_to_paddr((void *)KERNEL_ELF_BASE)); in arch_init_freemem()
68 if (dtb_p_reg.start) { in arch_init_freemem()
210 .start = ui_p_reg_start - pv_offset, in try_init_kernel()
254 .start = ROUND_DOWN(dtb_phys_addr, PAGE_BITS), in try_init_kernel()
262 .start = ui_v_reg.start, in try_init_kernel()
272 it_v_reg.start, it_v_reg.end, (word_t)USER_TOP); in try_init_kernel()
336 .start = rootserver.extra_bi, in try_init_kernel()
345 pptr_to_paddr((void *)extra_bi_region.start) - extra_bi_frame_vptr in try_init_kernel()
/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/tools/
A Dumm.py79 def paths_to_type(mp, f, start): argument
85 return [([start + '.' + name], tp)]
95 start_tp = ('Base', start)
99 res = map(handle_one, mp[start])
/seL4-master/src/arch/x86/32/kernel/
A Delf.c31 elf_reg.start = 0xffffffff; in elf_getMemoryBounds()
39 if (sect_start < elf_reg.start) { in elf_getMemoryBounds()
40 elf_reg.start = sect_start; in elf_getMemoryBounds()
/seL4-master/src/arch/x86/64/kernel/
A Delf.c30 elf_reg.start = 0x7fffffffffffffffUL; in elf_getMemoryBounds()
37 if (sect_start < elf_reg.start) { in elf_getMemoryBounds()
38 elf_reg.start = sect_start; in elf_getMemoryBounds()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c1479 word_t size = end - start; in performVSpaceFlush()
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/src/arch/arm/32/kernel/
A Dvspace.c1792 branchFlushRange(start, end, pstart);
1809 if (start < end) {
1935 if (start < end) {
2004 vptr_t start, end; local
2017 start = getSyscallArg(0, buffer);
2021 if (end <= start) {
2404 vptr_t start, end; local
2438 start = getSyscallArg(0, buffer);
2442 if (end <= start) {
2462 pstart = page_base + start;
[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()
/seL4-master/include/arch/riscv/arch/
A Dsbi.h115 unsigned long start, in sbi_remote_sfence_vma() argument
122 unsigned long start, in sbi_remote_sfence_vma_asid() argument

Completed in 45 milliseconds

123